The following pages link to DBLP publication ID (P1635):
Displaying 50 items.
- Weighted de Bruijn Graphs for the Menage Problem and Its Generalizations (Q2819499) (← links)
- All pairs lightest shortest paths (Q2819534) (← links)
- Connection caching (Q2819591) (← links)
- Automated theorem proving for special functions: the next phase (Q2819703) (← links)
- Higher inductive types as homotopy-initial algebras (Q2819787) (← links)
- Random walks on simplicial complexes and harmonics (Q2820276) (← links)
- Tightly CCA-Secure Encryption Without Pairings (Q2820476) (← links)
- A Classical Propositional Logic for Reasoning About Reversible Logic Circuits (Q2820684) (← links)
- Evaluating the Performance of Simultaneous Stepwise Confidence Intervals for the Difference between two Poisson Rates (Q2821003) (← links)
- Investigate Data Dependency for Dynamic Gene Regulatory Network Identification through High-dimensional Differential Equation Approach (Q2821005) (← links)
- A Comparison of Bayesian Models of Heteroscedasticity in Nested Normal Data (Q2821066) (← links)
- Robust unknown input observer for state and fault estimation in discrete-time Takagi–Sugeno systems (Q2821350) (← links)
- Output feedback control of linear fractional transformation systems subject to actuator saturation (Q2821382) (← links)
- Transversal game on hypergraphs and the \(\frac{3}{4}\)-conjecture on the total domination game (Q2821619) (← links)
- Stable LPV realisation of the Smith predictor (Q2822284) (← links)
- Technology Mapping for Single Target Gate Based Circuits Using Boolean Functional Decomposition (Q2822513) (← links)
- Towards Line-Aware Realizations of Expressions for HDL-Based Synthesis of Reversible Circuits (Q2822514) (← links)
- Synthesis of Quantum Circuits for Dedicated Physical Machine Descriptions (Q2822515) (← links)
- Towards a Cost Metric for Nearest Neighbor Constraints in Reversible Circuits (Q2822521) (← links)
- Anti-alignments in Conformance Checking – The Dark Side of Process Models (Q2822655) (← links)
- Counting, Generating and Sampling Tree Alignments (Q2823014) (← links)
- An overview of QML with a concrete implementation in Haskell (Q2825353) (← links)
- The invariant set hypothesis: a new geometric framework for the foundations of quantum theory and the role played by gravity (Q2825367) (← links)
- Stability of systems with stochastic delays and applications to genetic regulatory networks (Q2826315) (← links)
- A simple analysis of system characteristics in the batch service queue with infinite-buffer and Markovian service process using the roots method: \(\mathrm{GI}/\mathrm{C-MSP}^{a,b}/1/\infty\) (Q2826663) (← links)
- A new hybrid decision making system for supplier selection (Q2826671) (← links)
- Trust-region methods without using derivatives: worst case complexity and the nonsmooth case (Q2826817) (← links)
- Multiparty Session Types Within a Canonical Binary Theory, and Beyond (Q2827461) (← links)
- Enforcing Availability in Failure-Aware Communicating Systems (Q2827467) (← links)
- Branched coverings and Steiner ratio (Q2827759) (← links)
- BLIS: a framework for rapidly instantiating BLAS functionality (Q2828133) (← links)
- Sampling exactly from the normal distribution (Q2828164) (← links)
- Quantum XOR games (Q2828211) (← links)
- An Isabelle/HOL Formalisation of Green’s Theorem (Q2829238) (← links)
- A Formal Proof of Cauchy’s Residue Theorem (Q2829261) (← links)
- Strong duality in optimization: shifted power reformulation (Q2829558) (← links)
- Coordinate descent with arbitrary sampling I: algorithms and complexity<sup>†</sup> (Q2829565) (← links)
- First- and second-order optimality conditions for piecewise smooth objective functions (Q2829568) (← links)
- Basic and Hybrid Imperialist Competitive Algorithms for Solving the Non-attacking and Non-dominating n-Queens Problems (Q2829663) (← links)
- The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree (Q2829999) (← links)
- A Practical Simulation Result for Two-Way Pushdown Automata (Q2830212) (← links)
- Duality in two-stage adaptive linear optimization: faster computation and stronger bounds (Q2830953) (← links)
- Using GPU computing for solving the two-dimensional guillotine cutting problem (Q2830956) (← links)
- Rainbow arborescence in random digraphs (Q2833120) (← links)
- Embeddings into Thompson's group \(V\) and \(\mathrm{co}\mathcal{C}{F}\) groups (Q2835337) (← links)
- Solomonoff Induction Violates Nicod’s Criterion (Q2835642) (← links)
- Two Problems for Sophistication (Q2835644) (← links)
- Revising Possibilistic Knowledge Bases via Compatibility Degrees (Q2835879) (← links)
- Inconsistency Management in Reactive Multi-context Systems (Q2835898) (← links)
- Forgetting in ASP: The Forgotten Properties (Q2835900) (← links)
