The following pages link to DBLP publication ID (P1635):
Displaying 50 items.
- Completeness and termination for a Seligman-style tableau system (Q2987043) (← links)
- The fuzzy system and its application in East Asia (Q2987808) (← links)
- An extension of fuzzy topological approach for comparison of genetic sequences (Q2987850) (← links)
- Hesitant 2-tuple linguistic information in multiple attributes group decision making (Q2988431) (← links)
- Ideal solutions for hesitant fuzzy soft sets (Q2988434) (← links)
- Optimal production cycle time for inventory model with linear time dependent exponential distributed deterioration (Q2988628) (← links)
- Linearity, Control Effects, and Behavioral Types (Q2988641) (← links)
- On the Maximum Weight Minimal Separator (Q2988830) (← links)
- HYST (Q2988924) (← links)
- Statistical verification of dynamical systems using set oriented methods (Q2988933) (← links)
- Reactive synthesis from signal temporal logic specifications (Q2988945) (← links)
- Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications (Q2988959) (← links)
- Case Studies in Data-Driven Verification of Dynamical Systems (Q2988966) (← links)
- Data structures and requirements for <i>hp</i> finite element software (Q2989059) (← links)
- Efficient controls for finitely convergent sequential algorithms (Q2989096) (← links)
- Algorithm 909 (Q2989131) (← links)
- Algorithms and data structures for massively parallel generic adaptive finite element codes (Q2989153) (← links)
- Algorithm 919 (Q2989164) (← links)
- Degrees of Freedom for the Two-Cell Two-Hop MIMO Interference Channel: Interference-Free Relay Transmission and Spectrally Efficient Relaying Protocol (Q2989257) (← links)
- Chaotic Method for Generating $q$-Gaussian Random Variables (Q2989285) (← links)
- Signal Shaping for BICM at Low SNR (Q2989326) (← links)
- Quantum Rate Distortion, Reverse Shannon Theorems, and Source-Channel Separation (Q2989490) (← links)
- Adaptive Output Feedback Control for Uncertain Linear Time-Delay Systems (Q2989565) (← links)
- Adaptive Control of Robot Manipulators With Uncertain Kinematics and Dynamics (Q2989609) (← links)
- Pretty Good Measures in Quantum Information Theory (Q2989657) (← links)
- An Improved Nyquist–Shannon Irregular Sampling Theorem From Local Averages (Q2989803) (← links)
- Snake-in-the-Box Codes for Rank Modulation (Q2989856) (← links)
- Guarded Operations, Refinement and Simulation (Q2994496) (← links)
- ARTIFICIAL MICRO-WORLDS PART I: A NEW APPROACH FOR STUDYING LIFE-LIKE PHENOMENA (Q2994865) (← links)
- Identification of hazards with impulsive sources (Q2995476) (← links)
- Removing Redundant Arguments of Functions* (Q2996146) (← links)
- Dimension Reduction and Dynamics of a Spiking Neural Network Model for Decision Making under Neuromodulation (Q2996500) (← links)
- A Primer of Swarm Equilibria (Q2996502) (← links)
- Particle Filtering with Region-based Matching for Tracking of Partially Occluded and Scaled Targets (Q2996511) (← links)
- Retracted: New Mathematical Conception and Computation Algorithm for Study of Quantum 3D Disordered Spin System under the Influence of External Field (Q2997118) (← links)
- A DECISION MODEL FOR SELECTING THIRD-PARTY REVERSE LOGISTICS PROVIDERS IN THE PRESENCE OF BOTH DUAL-ROLE FACTORS AND IMPRECISE DATA (Q2998845) (← links)
- Declarative Abstractions for Agent Based Hybrid Control Systems (Q2999240) (← links)
- Exact Algorithms for Intervalizing Colored Graphs (Q2999332) (← links)
- Energy-Efficient Due Date Scheduling (Q2999335) (← links)
- Approximation algorithms for restless bandit problems (Q2999784) (← links)
- Estimates for Trajectories Confined to a Cone in $\mathbb{R}^{\lowercase{n}}$ (Q2999818) (← links)
- How Hard Is It to Approximate the Best Nash Equilibrium? (Q2999855) (← links)
- Exact Shape-Reconstruction by One-Step Linearization in Electrical Impedance Tomography (Q2999864) (← links)
- On the Computational Complexity of Degenerate Unit Distance Representations of Graphs (Q3000515) (← links)
- Ranking and Drawing in Subexponential Time (Q3000521) (← links)
- Type-Based Access Control in Data-Centric Systems (Q3000577) (← links)
- Confluence Reduction for Probabilistic Systems (Q3000663) (← links)
- Boosting Lazy Abstraction for SystemC with Partial Order Reduction (Q3000665) (← links)
- Associating Cell Complexes to Four Dimensional Digital Objects (Q3000690) (← links)
- Analytical Performance Modeling for Computer Systems (Q3002199) (← links)
