yusuke1997/dblp-id-title huggingface dataset:
An effective shuffled frog-leaping algorithm for the flexible job-shop scheduling problem
Modelling of a 4WS4WD vehicle and its control for path tracking
Fault diagnosis of induction motor using CWT and rough-set theory
Effects of parameter values and noise on PSO-based predictive control: An empirical study
2009 IEEE Symposium on Computational Intelligence in Control and Automation, CICA 2009, Nashville, TN, USA, March 30 - April 2, 2009
Fixed-order H∞ loop-shaping synthesis: A time domain approach
Constrained multi-objective evolutionary algorithm based on decomposition for environmental/economic dispatch
Robust output feedback control of T-S fuzzy time-delay systems
Temperature optimal control of the casting billet induction heating process based on the BP prediction model
Extreme learning ANFIS for control applications
Reconfigurable wireless stand-alone platform for Electrical Capacitance Tomography
Control parameter design for robot vehicle based on numerical simulation and heuristic optimization - Feed-back controller design for trajectory tracking under strict physical constraints in wide speed range -
Calibration between a laser range scanner and an industrial robot manipulator
A novel neural network optimized by Quantum Genetic Algorithm for signal detection in MIMO-OFDM systems
Cascaded free search differential evolution applied to nonlinear system identification based on correlation functions and neural networks
Modeling and control of a nonholonomic Wheeled Mobile Robot with wheel slip dynamics
Decentralized direct I-term fuzzy-neural control of an anaerobic digestion bioprocess plant
Optimization of model predictive control by means of sequential parameter optimization
Context-based adaptive robot behavior learning model (CARB-LM)
Intention estimation using time-varying fuzzy Markov models
Design and implementation of fuzzy-logic based obstacle-avoidance and target-reaching algorithms on NI's embedded-FPGA robotic platform
Glucose level regulation for diabetes mellitus type 1 patients using FPGA neural inverse optimal control
Discrete direct adaptive ELM controller for seismically excited non-linear base-isolated buildings
Intelligent PD-type fuzzy controller design for mobile satellite antenna tracking system with parameter variations effect
Biomimetic hybrid feedback feedforword adaptive neural control of robotic arms
New multiagent coordination optimization algorithms for mixed-binary nonlinear programming with control applications
Enhanced modeling of distillation columns using integrated multiscale latent variable regression
Influencing customers through customers - Simulation of herd behavior in supermarkets
Evidence based decision analysis and support
Optimal formation of robots by convex hull and particle swarm optimization
Noise considerations and cryptanalysis of chaos-based secure communication systems
Development of an adaptive observer algorithm using RMS signal
Use of combined ARX - NARX model in identification of neuromuscular system
Power system stabilizer tuning study of east-central power system in Saudi Arabia
Grasping novel objects with a dexterous robotic hand through neuroevolution
Automated inferential measurement system for traffic surveillance: Enhancing situation awareness of UAVs by computational intelligence
Path planning of a data mule in wireless sensor network using an improved implementation of clustering-based genetic algorithm
Ultra high frequency polynomial and sine artificial higher order neural networks for control signal generator
Mobile augmented reality based interactive teaching & learning system with low computation approach
Improved multiobjective particle swarm optimization for designing PID controllers applied to robotic manipulator
Efficient Optimal Control of Open Quantum Systems
Testing Quantum Circuits and Detecting Insecure Encryption
Simulating Sparse Hamiltonians with Star Decompositions
Hamiltonian Locality Testing via Trotterized Postselection
Theory of Quantum Computation, Communication, and Cryptography - 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010, Revised Selected Papers
Bounds on Entanglement Assisted Source-channel Coding Via the Lovász Theta Number and Its Variants
A Single Entangled System Is an Unbounded Source of Nonlocal Correlations and of Certified Random Numbers
Approximate Unitary n 2/3 -Designs Give Rise to Quantum Channels with Super Additive Classical Holevo Capacity
The Rotation-Invariant Hamiltonian Problem Is QMA_EXP-Complete
New Constructions for Quantum Money
Which Graph States are Useful for Quantum Information Processing?
Weak Coin Flipping in a Device-Independent Setting
Local Equivalence of Surface Code States
The Effects of Free Will on Randomness Expansion
Universal Entanglers for Bosonic and Fermionic Systems
Irreversibility of Entanglement Loss
Local Unitary Group Stabilizers and Entanglement for Multiqubit Symmetric States
Conditions for the Approximate Correction of Algebras
Easy and Hard Functions for the Boolean Hidden Shift Problem
Simple, Near-Optimal Quantum Protocols for Die-Rolling
Optimal Locality and Parameter Tradeoffs for Subsystem Codes
Certifying the Absence of Apparent Randomness under Minimal Assumptions
The Quantum Decoding Problem
19th Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2024, Okinawa, Japan, September 9-13, 2024
Improved reversible and quantum circuits for Karatsuba-based integer multiplication
More Randomness From Noisy Sources
The Spin-2 AKLT State on the Square Lattice is Universal for Measurement-based Quantum Computation
17th Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2022, Urbana Champaign, Illinois, USA, July 11-15, 2022
Two-qubit Stabilizer Circuits with Recovery II: Analysis
16th Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2021, Virtual Conference, July 5-8, 2021
Optimal Algorithms for Learning Quantum Phase States
Interferometric Versus Projective Measurement of Anyons
Making Existential-unforgeable Signatures Strongly Unforgeable in the Quantum Random-oracle Model
On the Power of Quantum Fourier Sampling
Search by Quantum Walks on Two-Dimensional Grid without Amplitude Amplification
Optimal Robust Self-Testing by Binary Nonlocal XOR Games
Front Matter, Table of Contents, Preface, Committees
Quantum Ciphertext Authentication and Key Recycling with the Trap Code
On the Power of Nonstandard Quantum Oracles
Parameterization of Tensor Network Contraction
Robust Online Hamiltonian Learning
Self-Testing in the Compiled Setting via Tilted-CHSH Inequalities
Quantum Search with Advice
Quantum Delegation with an Off-The-Shelf Device
Quantum Capacity Can Be Greater Than Private Information for Arbitrarily Many Uses
Long Distance Quantum Key Distribution with Continuous Variables
Circuit Transformations for Quantum Architectures
Towards Quantum One-Time Memories from Stateless Hardware
Kitaev's Z_d-Codes Threshold Estimates
The Quantum Approximate Optimization Algorithm at High Depth for MaxCut on Large-Girth Regular Graphs and the Sherrington-Kirkpatrick Model
Quantum Speedups for Treewidth
Quantum Enhancement of Randomness Distribution
Strong Converse for the Quantum Capacity of the Erasure Channel for Almost All Codes
Multi-qubit Lattice Surgery Scheduling
An All-But-One Entropic Uncertainty Relation, and Application to Password-Based Identification
Improved Approximate Degree Bounds for k-Distinctness
On the Parallel Repetition of Multi-Player Games: The No-Signaling Case
A Quantum Cloning Game with Applications to Quantum Position Verification
Asymptotically Optimal Discrimination between Pure Quantum States
Quantum Hedging in Two-Round Prover-Verifier Interactions
Quantum Communication Complexity with Coherent States and Linear Optics
Solutions to the Hidden Subgroup Problem on Some Metacyclic Groups
Simulating Equatorial Measurements on GHZ States with Finite Expected Communication Cost
8th Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2013, Guelph, Canada, May 21-23, 2013
Eigenpath Traversal by Poisson-Distributed Phase Randomisation
On Some Special Cases of the Entropy Photon-Number Inequality
Quantum Probability Oracles &amp; Multidimensional Amplitude Estimation
The RGB No-Signalling Game
Quantum Algorithm for Path-Edge Sampling
Quantum Search with In-Place Queries
Classical Simulation of Yang-Baxter Gates
Classical Simulation of Quantum Circuits with Partial and Graphical Stabiliser Decompositions
Quantum-Proof Multi-Source Randomness Extractors in the Markov Model
Telescopic Relative Entropy
Quantum Coupon Collector
Instantaneous Non-Local Computation of Low T-Depth Quantum Circuits
A Compressed Classical Description of Quantum States
Averaged Circuit Eigenvalue Sampling
One-Wayness in Quantum Cryptography
Towards a Complexity-Theoretic Dichotomy for TQFT Invariants
Graph-theoretical Bounds on the Entangled Value of Non-local Games
Difficult Instances of the Counting Problem for 2-quantum-SAT are Very Atypical
Applications of the Quantum Algorithm for st-Connectivity
20th Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2025, Indian Institute of Science, Bengaluru, India, September 15-19, 2025
Bypassing State Initialisation in Perfect State Transfer Protocols on Spin-Chains
Quantum Non-Identical Mean Estimation: Efficient Algorithms and Fundamental Limits
The Quantum Complexity of Computing Schatten p-norms
Universal Quantum Computation with a Non-Abelian Topological Memory
Geometric Entanglement of Symmetric States and the Majorana Representation
Quantum Logarithmic Space and Post-Selection
Access Structure in Graphs in High Dimension and Application to Secret Sharing
18th Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2023, Aveiro, Portugal, July 24-28, 2023
Fully Device-Independent Quantum Key Distribution Using Synchronous Correlations
Quantum Pseudorandomness and Classical Complexity
On the Query Complexity of Perfect Gate Discrimination
Dequantizing Read-once Quantum Formulas
Device-independent Randomness Extraction for Arbitrarily Weak Min-entropy Source
On Quantum Estimation, Quantum Cloning and Finite Quantum de Finetti Theorems
Improved Approximations for Extremal Eigenvalues of Sparse Hamiltonians
Decoherence in Open Majorana Systems
Quantum Algorithm for Stochastic Optimal Stopping Problems with Applications in Finance
The Parametrized Complexity of Quantum Verification
Optimal State Merging without Decoupling
Quantum Online Memory Checking
Provable Advantage for Quantum Strategies in Random Symmetric XOR Games
Classical and Quantum Algorithms for Exponential Congruences
On Converses to the Polynomial Method
Quantum Discord in Quantum Information Theory - From Strong Subadditivity to the Mother Protocol
Computational Quantum Secret Sharing
Quantum Algorithms for Evaluating Min-MaxTrees
Fast and Effective Techniques for T-Count Reduction via Spider Nest Identities
Efficient Tomography of Non-Interacting-Fermion States
Optimal Bounds for Parity-Oblivious Random Access Codes with Applications
Exact Quantum Query Complexity of EXACT and THRESHOLD
How Hard Is Deciding Trivial Versus Nontrivial in the Dihedral Coset Problem?
Quantum Time-Space Tradeoff for Finding Multiple Collision Pairs
Semi-device-independent QKD Based on BB84 and a CHSH-Type Estimation
Lower Bound on Expected Communication Cost of Quantum Huffman Coding
Subset Sum Quantumly in 1.17 n
Trading Inverses for an Irrep in the Solovay-Kitaev Theorem
Architecture of a Quantum Multicomputer Implementing Shor's Algorithm
Quantum Mass Production Theorems
A Quantum Protocol for Sampling Correlated Equilibria Unconditionally and without a Mediator
New Protocols and Lower Bounds for Quantum Secret Sharing with Graph States
Quadratic Form Expansions for Unitaries
On the Structure of Protocols for Magic State Distillation
Approximate Degree Lower Bounds for Oracle Identification Problems
Security Bounds for Quantum Cryptography with Finite Resources
Efficient Quantum Pseudorandomness from Hamiltonian Phase States
The Complexity of Simulating Local Measurements on Quantum Systems
A Constant Lower Bound for Any Quantum Protocol for Secure Function Evaluation
Approximating the Turaev-Viro Invariant of Mapping Tori is Complete for One Clean Qubit
Quantum Catalytic Space
15th Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2020, Riga, Latvia, June 9-12, 2020
The Locking-Decoding Frontier for Generic Dynamics
Hidden Subgroup Quantum Algorithms for a Class of Semi-Direct Product Groups
11th Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2016, Berlin, Germany, September 27-29, 2016
Beyond Product State Approximations for a Quantum Analogue of Max Cut
Front Matter, Table of Contents, Preface, List of Contributed Talks, Conference Organization
Simple Sets of Measurements for Universal Quantum Computation and Graph State Preparation
Optimal Quantum Circuits for Nearest-Neighbor Architectures
13th Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2018, Sydney, Australia, July 16-18, 2018
Self-Testing Graph States
How Many Quantum Correlations Are Not Local?
Symmetries of Codeword Stabilized Quantum Codes
On the Complexity of Two Dimensional Commuting Local Hamiltonians
Local Hamiltonians with No Low-Energy Stabilizer States
On Quantum Chosen-Ciphertext Attacks and Learning with Errors
Sample Efficient Algorithms for Learning Quantum Channels in PAC Model and the Approximate State Discrimination Problem
The Resource Theory of Steering
The Quantum Entropy Cone of Stabiliser States
Theory of Quantum Computation, Communication, and Cryptography - 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papers
An Application of the Deutsch-Jozsa Algorithm to Formal Languages and the Word Problem in Groups
Testing Non-isometry Is QMA-Complete
Improved Constructions of Quantum Automata
Exact Classical Simulation of the GHZ Distribution
An Elementary Optical Gate for Expanding Symmetrically Shared Entanglement
(Quantum) Complexity of Testing Signed Graph Clusterability
14th Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2019, University of Maryland, College Park, Maryland, USA, June 3-5, 2019
Exponential Quantum Communication Reductions from Generalizations of the Boolean Hidden Matching Problem
9th Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2014, Singapore, May 21-23, 2014
Quantum Algorithms for Computational Geometry Problems
A Conceptually Simple Proof of the Quantum Reverse Shannon Theorem
Computational Depth Complexity of Measurement-Based Quantum Computation
Improved Algorithm and Lower Bound for Variable Time Quantum Search
Fidelity of Quantum Strategies with Applications to Cryptography
Bayesian ACRONYM Tuning
Qutrit Metaplectic Gates Are a Subset of Clifford+T
Realistic Cost for the Model of Coherent Computing
Implementing Unitary 2-Designs Using Random Diagonal-unitary Matrices
Quantum Linear Network Coding as One-way Quantum Computation
Approximate Reversal of Quantum Gaussian Dynamics
On the Power of the PPT Constraint in the Symmetric Extensions Test for Separability
Circuit Obfuscation Using Braids
Quantum SAT Problems with Finite Sets of Projectors Are Complete for a Plethora of Classes
The Minimum Size of Qubit Unextendible Product Bases
Unconditionally-Secure and Reusable Public-Key Authentication
Two-qubit Stabilizer Circuits with Recovery I: Existence
Quantum Learning of Classical Stochastic Processes: The Completely-Positive Realization Problem
Span-Program-Based Quantum Algorithm for Evaluating Unbalanced Formulas
Graph Homomorphisms for Quantum Players
Quantum Coin Hedging, and a Counter Measure
Quantum Security Analysis via Smoothing of Renyi Entropy of Order 2
Monogamy of Multi-qubit Entanglement in Terms of Rényi and Tsallis Entropies
Theory of Quantum Computation, Communication, and Cryptography, 4th Workshop, TQC 2009, Waterloo, Canada, May 11-13, 2009, Revised Selected Papers
Stochastic Error Cancellation in Analog Quantum Simulation
Quantum Lower Bounds for Tripartite Versions of the Hidden Shift and the Set Equality Problems
Quasirandom Quantum Channels
Revocable Quantum Digital Signatures
Multi-query Quantum Sums
Quantum Distinguishing Complexity, Zero-Error Algorithms, and Statistical Zero Knowledge
Statistically-Hiding Quantum Bit Commitment from Approximable-Preimage-Size Quantum One-Way Function
Fault-Tolerant Syndrome Extraction and Cat State Preparation with Fewer Qubits
Uncloneable Quantum Encryption via Oracles
On the Closure of the Completely Positive Semidefinite Cone and Linear Approximations to Quantum Colorings
Towards Efficient Decoding of Classical-Quantum Polar Codes
Pauli Error Estimation via Population Recovery
Theory of Quantum Computation, Communication, and Cryptography, Third Workshop, TQC 2008, Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papers
On the Qubit Routing Problem
Mixing Time of Quantum Gibbs Sampling for Random Sparse Hamiltonians
Robust Bell Inequalities from Communication Complexity
The Structure of Promises in Quantum Speedups
12th Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2017, Paris, France, June 14-16, 2017
Classical and Quantum Algorithms for Testing Equivalence of Group Extensions
Guidable Local Hamiltonian Problems with Implications to Heuristic Ansatz State Preparation and the Quantum PCP Conjecture
Rewindable Quantum Computation and Its Equivalence to Cloning and Adaptive Postselection
Applying a Generalization of Schur-Weyl Duality to Problems in Quantum Information and Estimation
Generalized Self-testing and the Security of the 6-State Protocol
Blindness and Verification of Quantum Computation with One Pure Qubit
Efficient Population Transfer via Non-Ergodic Extended States in Quantum Spin Glass
StoqMA Meets Distribution Testing
On the Robustness of Bucket Brigade Quantum RAM
Quantum Network Code for Multiple-Unicast Network with Quantum Invertible Linear Operations
On the Design and Optimization of a Quantum Polynomial-Time Attack on Elliptic Curve Cryptography
Semidefinite Programs for Randomness Extractors
Optimal Counterfeiting Attacks and Generalizations for Wiesner's Quantum Money
Convexity Properties of the Quantum Rényi Divergences, with Applications to the Quantum Stein's Lemma
A Universal Adiabatic Quantum Query Algorithm
10th Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2015, Brussels, Belgium, May 20-22, 2015
Optimal Trading of Classical Communication, Quantum Communication, and Entanglement
Quantum Algorithms for Learning a Hidden Graph
Approximating Output Probabilities of Shallow Quantum Circuits Which Are Geometrically-Local in Any Fixed Dimension
Is Global Asymptotic Cloning State Estimation?
Uniformity Testing When You Have the Source Code
Round Elimination in Exact Communication Complexity
Minimum Quantum Resources for Strong Non-Locality
Memory Compression with Quantum Random-Access Gates
Provably Secure Key Establishment Against Quantum Adversaries
A Direct Reduction from the Polynomial to the Adversary Method
Fast and Robust Quantum State Tomography from Few Basis Measurements
Quantum Policy Gradient Algorithms
Distillation of Non-Stabilizer States for Universal Quantum Computation
Bitwise Quantum Min-Entropy Sampling and New Lower Bounds for Random Access Codes
A Note About Claw Function with a Small Range
Front Matter, Table of Contents
On the Security and Degradability of Gaussian Channels
On the Necessity of Collapsing for Post-Quantum and Quantum Commitments
Quantum Algorithms for Abelian Difference Sets and Applications to Dihedral Hidden Subgroups
Another Subexponential-time Quantum Algorithm for the Dihedral Hidden Subgroup Problem
Security of Device-Independent Quantum Key Distribution Protocols
Ancilla Driven Quantum Computation with Arbitrary Entangling Strength
Building Trust for Continuous Variable Quantum States
The Polynomial Degree of Recursive Fourier Sampling
Multiparty Quantum Communication Complexity of Triangle Finding
Teleportation of a Quantum State of a Spatial Mode with a Single Massive Particle
Theory of Quantum Computation, Communication, and Cryptography, 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers
Simpler Proofs of Quantumness
Oracles with Costs
Towards a standard VHDL synthesis package
Area efficient DSP datapath synthesis
HANDICAP - A System for Design Consulting
AREAL: Automated Reasoning Expert for Analogue Layout
Delay estimation for CMOS functional cells
ASIC synthesis of a flexible 80 Mbit/s Reed-Solomon Codec
Proceedings EURO-DAC'95, European Design Automation Conference with EURO-VHDL, Brighton, England, UK, September 18-22, 1995
Multi-level synthesis on PALs
System modeling, hardware-software codesign, and mixed modeling with hardware description language
VLSI: placement based on routing and timing information
Synthesis of fully testable sequential machines
Information modelling of folded and unfolded design
Generating Test Patterns for Bridge Faults in CMOS ICs
Proof theory and a validation condition generator for VHDL
SLOCOP-II: a versatile timing verification system for MOSVLSI
Physical design CAD in deep sub-micron era
New design error modeling and metrics for design validation
High-Level Synthesis of Digital Circuits by Finding Fixpoints
GRTL: a graphical platform for pipelined system design
Rapid prototyping for DSP circuits using high level design tools
Debugging of behavioral VHDL specifications by source level emulation
An integrated concept for design project planning and design flow control
A branch-and-bound method for optimal transformation of data flow graphs for observing hardware constraints
Cooperative concurrency control for design environments
Implementation of the conception of flexible integration within the CADS framework
EDAC - The European Conference on Design Automation, ETC - European Test Conference, EUROASIC - The European Event in ASIC Design, Proceedings, February 28 - March 3, 1994, Paris, France
CASCH: a scheduling algorithm for "high level"-synthesis
Synthesis of VHDL arrays on RAM cells
VHDL package for description of fuzzy logic controllers
A component selection algorithm for high-performance pipelines
Tree restructuring approach to mapping problem in cellular-architecture FPGAs
High-Level Design Validation Using Algorithmic Debugging
Partitioning strategies within a distributed multilevel logic simulator including dynamic repartitioning
Interactive symbolic distortion analysis of analogue integrated circuits
Multi-way FSM decomposition based on interconnect complexity
KANDIS - a tool for construction of mixed analog/digital systems
State Minimization of Pseudo Non-Deterministic FSM's
Design of an adaptive motors controller based on fuzzy logic using behavioral synthesis
An Algorithm for Array Variable Clustering
Cell based performance optimization of combinational circuits
Top-down modeling of RISC processors in VHDL
Exploiting power-up delay for sequential optimization
Verification of digital circuits based on formal semantics of a hardware description language
Path sensitization of combinational circuits and its impact on clocking of sequential systems
Computing subsets of equivalence classes for large FSMs
Prediction of radiated electromagnetic emissions from PCB traces based on green dyadics
A System-Design Methodology: Executable-Specification Refinement
From Behavioral Description to Systolic Array Based Architectures
An Extended OBDD Representation for Extended FSMs
Estimation of the number of routing layers and total wirelength in a PCB through wiring distribution analysis
A design representation for high level synthesis
Testable synthesis of high complex control devices
Array folding using heuristics and simulated annealing
Finite state machine verification on MIMD machines
Efficient algorithms for interface timing verification
A Fragmented Register Architecture and Test Advisor for BIST
DSP datapath synthesis eliminating global interconnect
A reuse scenario for the VHDL-based hardware design flow