yusuke1997/dblp-id-title huggingface dataset:
A survey on single server private information retrieval in a coding theory perspective
Review of Design Optimization Techniques
Some New Approaches to Machine Learning
Simulation Applied to a Court System
Constraint Theory, Part I: Fundamentals
A Search Technique for Multimodal Surfaces
Decomposition, Coordination, and Multilevel Systems
Recursive Estimates of Probability Densities
Probabilistic Information Processing Systems: Design and Evaluation
Sequential Algorithm for the Design of Piecewise Linear Classifiers
Studies in Postural Control Systems Part I: Torque Disturbance Input
Concepts of an Estimation System, an Adaptive System, and a Network of Adaptive Estimation Systems
The Cybernetic Viewpoint
Redundancy in Deterministic Sequences
Systems Engineering Problems in Computer-Driven CRT Displays for Man-Machine Communication
Simulation: A Management Planning Tool
University Programs in Systems Engineering
On Playing Two-Person Zero-Sum Games against Nonminimax Players
Agapurgy: Affection as a Service Ready for Anglo-American Industrialization
Constraint Theory, Part II: Model Graphs and Regular Relations
A Multimodel and Computer Oriented Methodology for Synthesis of Sequential Discrete Systems
Obtaining a Normal Sequence with Prescribed Covariances from an Independent Uniform Distribution of Random Variables
Dynamical Characteristics of the Fusional Vergence Eye-Movement System
The Economic Value of Analysis and Computation
A Simulation Model of Fire Department Operations: Design and Preliminary Results
Economic Objectives and Decision Problems
Optimal Estimation in the Presence of Unknown Parameters
Stochastic Automata Games
A Parallel Optimum Seeking Technique-Dynostat
Prediction of a Naval Vessel's Performance
Automatic Analysis of Sleep Electroencephalograms by Hybrid Computation
Some Novel Properties of Wiener's Canonical Expansion
Fundamental Structure of Input-Output Stability for Feedback Systems
A Theory of Bayesian Learning Systems
A Shrinking Boundary Algorithm for Discrete System Models
A Markov Decision Process for Economic Quality Control
Adaptive Bayes Classification Model with Incompletely Specified Experiment
System Simulation Data Collection
The United States Plywood Industry - Systems Study
The Widget Problem Revisited
Unsupervised Learning Minimum Risk Pattern Classification for Dependent Hypotheses and Dependent Measurements
Selection of Pattern Features by Mathematical Programming Algorithms
Feature Extraction on Binary Patterns
On the Quantization of Line-Drawing Data
The Maximization of Nerve Conduction Velocity
An Adaptive Pattern Classification System
An Antisubmarine Warfare Model for Convoy Protection
Computational Experience with the Davidon Method Applied to Optimal Control Problems
Decision Analysis for Product Development
Adaptive Linear Classifier by Linear Programming
Bayesian Decision Models for System Engineering
An Abbreviated States of the World Decision Model
Correction to "On the Inverse of Linear Dynamical Systems"
Adaptive Estimation with Mutually Correlated Training Sequences
Value of Information Lotteries
The Foundations of Decision Analysis
Open-Hearth and Basic-Oxygen Furnaces: An Allocation Model for Production Planning
A Decision Analysis of Model Selection
On How Often the Supervisor Should Sample
Polynomial Representation of Finite-State Machines
Simulation of a Private Line Communications Network
On Man-Computer Interaction: A Model and Some Related Issues
Learning Applied to Successive Approximation Algorithms
Convex Programming and Duality in Normed Space
Duality and Decomposition in Mathematical Programming
Hypercorrelation: A Concept for System Characterization
The Nearest Neighbor Classification Rule with a Reject Option
On the Prospects of a Useful Unified Theory of Value for Engineering
Decoupled Method for Approximation of Signals by Exponentials
On the Extraction of Pattern Features from Continuous Measurements
A Unified Approach to the Synthesis of Orthonormal Exponential Functions Useful in Systems Analysis
Bayesian Autoregressive Time Series Analysis
Objectives of Simulation
Recognition of Handprinted Numerals by Two-Stage Feature Extraction
An Upper Bound on the Number of Measurements Required by the Contour Tangent Optimization Technique
The Systems Approach to Test Evaluation
System Engineering in an Industrial Environment
Crisiscom: A Computer Simulation of Human Information Processing during a Crisis
The Rate of Convergence of an Algorithm for Recovering Functions from Noisy Measurements Taken at Randomly Selected Points
Simplified Reliability Calculations for Complicated Systems
On Expediency and Convergence in Variable-Structure Automata
Methodological Aspects of Problem Formulation
Information Requirements for Systems Understanding
Strategy and a Tactic for Generation of Transportation Alternatives
Learning Games through Pattern Recognition
Evolution of Heuristics by Human Operators in Control Systems
Electrochemically Active Field-Trainable Pattern Recognition Systems
General Systems and Systems Engineering
The Function of Operations Research Specialists in Large Urban School Districts
Calamity Detection Using Nonparametric Statistics
An Approximate Algorithm for Discrete Linear Programming
A Minimum Variance, Time Optimal, Control System Model of Human Lens Accommodation
Modern Design Methods for Electronics
Pattern Recognition Approach to Medical Diagnosis
On the Applicability of Wiener's Canonical Expansions
Accommodative Convergence - An Adaptive Nonlinear Control System
The Use of Bayesian Inference in the Design of an Endpoint Control System for the Basic Oxygen Steel Furnace
Operator Algebra for Differential Systems
A Method for Optimization of Nonlinear System Response
Memory Limitation and Multistage Decision Processes
Digital Simulation of the Homeostat Modified to Show Memory and Learning
Decision Analysis in a Corporation
Use of Stochastic Automata for Parameter Self-Optimization with Multimodal Performance Criteria
An Experimental Investigation of Process Identification by Competitive Evolution
The Role of Simulation in Computing
Pattern Recognition from Satellite Altitudes
Systems Analysis as a Tool for Urban Planning
The Consistent Assessment and Fairing of Preference Functions
The Managementality Gap
A New Design Procedure for Traffic Signal Control Policies
Constraint Theory, Part III: Inequality and Discrete Relations
A Dynamic Programming Approach to the Selection of Pattern Features
A Water Pricing and Production Model
Bounds on System Risk Functions Induced by Subsystems
A Computer Experiment in Elementary Social Behavior
Proposed New Unit: Pitts
The Asymptotic Approach to Traffic Dynamics
Systems Engineering in the Glass Industry
Natural Bilinear Control Processes
Stochastic Learning of Time-Varying Parameters in Random Environment
Every norm is not logarithmically convex
A Formal Basis for the Heuristic Determination of Minimum Cost Paths
Recursive Bayesian Method for Estimating States of Nonlinear System from Sequential Indirect Observations
Stochastic Approximation Algorithms for System Identification, Estimation, and Decomposition of Mixtures
Company Model for Income Prediction
Application of Dynamic Programming to Routing Problems
A Multistage Solution of the Template-Layout Problem
Objective-Setting in a Large Industrial Firm - Case Study in Steel
Mathematical Models of Socio-Economic Systems: An Example
Parametric Optimization by Primal Method in Multilevel Systems
Self-Organizing Approach to the Stochastic Fuel Regulator Problem
AFSCM 375-5 as a Methodology for System Engineering
Correction to "Visual Feature Extraction by a Multilayered Network of Analog Threshold Elements"
Extremization of Constrained Multivariable Function: Structural Programming
Feature Selection in Pattern Recognition
Algorithms for the Dichotomous Representation of Systems
A Model of Vision Employing Optical Mode Patterns for Color Discrimination
Systems Engineering in the Steel Industry
Production Management Information System
A Survey of Systems Science Education
Bayesian Approach to the Optimization of Adaptive Systems
A Technique for On-Line Steady-State Optimizing Control
Additional Features of an Adaptive, Multicategory Pattern Classification System
The GPSS On-Line Monitor
A Case Study of Citizen Complaints as Social Indicators
Application of Optimal Control Theory to the Crashworthiness of a Passenger Vehicle Model
The Sum-Line Extrapolative Algorithm and Its Application to Statistical Classification Problems
A Tutorial Introduction to Decision Theory
Studies in Postural Control Systems Part II: Tendon Jerk Input
Wiener's Nonlinear Expansion Procedure Applied to Cybernetic Problems
An Experimental Study of Machine Recognition of Hand-Printed Numerals
Studies in Postural Control Systems Part III: A Muscle Spindle Model
Comments on "A stochastic automaton model for the synthesis of learning systems"
Nonlinear Smoothing Theory
On the Modeling of Police Patrol Operations
Neighborhood Storage
System Identification with Threshold Measurements
Stochastic Model for Real and Simulated Neurophysiological Behavior
Randomly Generated Nonlinear Transformations for Pattern Recognition
System Decomposition, Partitioning, and Integration for Microelectronics
Visual Feature Extraction by a Multilayered Network of Analog Threshold Elements
Decision Processes in the Adaptive Behavior of Human Controllers
Simulation of a Traveling Repairman Problem
The Present Status and Trends in Systems Engineering
A Recognition Algorithm for Handprinted Arabic Numerals
Contextual Categorization by Lateral Inhibition
An Application of Decision Theory to a Medical Diagnosis-Treatment Problem
System Study of Emission Control for Passenger Cars
Systems Engineering from an Engineering Viewpoint
Combinatorial Analysis of Multi-Terminal Devices
Development of a Community Health Service System Simulation Model
Simulation as a Transportation Tool
Visual Target Tracking with Active Head Rotation
Stochastic Allocation and System Analysis
Adaptive Representations for Pattern Recognition
A Feature-Detection Program for Patterns with Overlapping Cells
Pits Simulation for Production Planning
An Unsupervised Learning Problem Using Limited Storage Capacity
A Theory of Visual Pattern Perception
Increased Efficiency of Neighborhood Storage
On a Simple Minkowski Metric Classifier
A Simulation for a Short Takeoff and Landing System Traffic Analysis
Medicaid: from Conceptualization to Action
Simulation of a Multiprocessing System Using GPSS
Testing the NORAD Command and Control System
A State-Space Model for Resource Allocation in Higher Education
Adaptive Global Search in a Time-Variant Environment Using a Probabilistic Automaton with Pattern Recognition Supervision
Subsystem Optimization Effectiveness Improvement by the Option Tradeoff Analysis Process
The Information Transfer Required in Regulatory Processes
GPSS/360-Norden, an Improved System Analysis Tool
On the Inverse of Linear Dynamical Systems
A Stochastic Differential Game with Controllable Statistical Parameters
The Development of a Corporate Risk Policy for Capital Investment Decisions
On Bayesian Learning and Stochastic Approximation
A Finite-Memory Adaptive Pattern Recognizer
Solution of Practical Optimization Problems
Information Value Theory
Model for the Basic Oxygen Process in Steel Refining
Systems Theory from an Operations Research Point of View
An Extension of the Generalized Inverse Algorithm to Multiclass Pattern Classification
A Formulation of Fuzzy Automata and Its Application as a Model of Learning Systems
Nonlinear Servoanalysis of Human Lens Accommodation
Queueing Requirements in an Automatic Radar Target Detection System Operating with a Narrow Bandwidth Data Link
Optimum Allocation of Personal Presence
Two Viewpoints of k-Tuple Pattern Recognition
Control of Water Quality in a Complex Natural System
Three-Dimensional Morphology of Systems Engineering
Controlling the Functional Testing of an Operating System
On the Efficiency of Learning Machines
On blockwise symmetric matchgate signatures and higher domain #CSP
On the Translation of Languages from Left to Right
Tradeoffs in the Inductive Inference of Nearly Minimal Size Programs
Separation and Lower Bounds for ROM and Nondeterministic Models of Parallel Computation
Semiregular Convolutional Codes: Definition, Structure, and Examples
Graph Theoretic Concepts and the Incidence Matrix
Distributed coloring algorithms for triangle-free graphs
Data Interpolation, Causality Structure, and System Identification
Reachability problems in quaternion matrix and rotation semigroups
Bounds on Distortion Due to Error for Rates Below and Above the Channel Capacity
On the Periodicity of Word-Length in DOL Languages
Labeling schemes for weighted dynamic trees
Point Location in Arrangements of Hyperplanes
Some Theorems on Noiseless Coding
The link-calculus for open multiparty interactions
A Formal Model of Hierarchical Concept Learning
String Adjunct Grammars: I. Local and Distributed Adjunction
There Is No Polynomial Deterministic Space Simulation of Probabilistic Space with a Two-Way Random-Tape Generator
Repetition of Subwords in DOL Languages
Hierarchical identification of nonlinear hybrid systems in a Bayesian framework
Controlled Iteration Grammars and Full Hyper-AFL's
Dynamic Programming and Stochastic Control Processes
Codes over Z_m
Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing
A Note on AFLs and Bounding Erasing
Entropy Analysis of Parameter Estimation
Some Negative Results on the Computational Complexity of Total Variation and Differentiation
On identifying codes that are robust against edge changes
The Firing Squad Synchronization Problem for Two-Dimensional Arrays
Fixed-Lag Smoothing Estimator for a Linear Distributed Parameter System
A saturation method for the modal μ-calculus over pushdown systems
Approximate envy-freeness in indivisible resource allocation with budget constraints
Constraint Logic Programming with Dynamic Scheduling: A Semantics Based on Closure Operators
Intruder deduction for the equational theory of Abelian groups with distributive encryption
Comportement itératif des fonctions à multiseuil
On divergence-sensitive weak probabilistic bisimilarity
Finite Counting Automata
19th International Conference on Concurrency Theory
On learning multicategory classification with sample queries
Compositions of extended top-down tree transducers
Toward an Infinitary Logic of Domains: Abramsky Logic for Transition Systems
Further Results on Fuzzy-Mathematical Programming
Generalizations of 1-deterministic regular languages
1st International Conference on Language and Automata Theory and Applications (LATA 2007)
Two Nonlinear Lower Bounds for On-Line Computations
Structural Cut Elimination: I. Intuitionistic and Classical Logic
Block Codes for a Class of Constrained Noiseless Channels
BTL 2 and the expressive power of ECTL +
A zero-one law for RP and derandomization of AM if NP is not small
A Variable Typed Logic of Effects
Nonuniform families of polynomial-size quantum finite automata and quantum logarithmic-space computation with polynomial-size advice
Classification based on prototypes with spheres of influence
Algebra Automata I: Parallel Programming as a Prolegomena to the Categorical Approach
Erratum to "Automation for interactive proof: First prototype" [Inform. and Comput. 204(2006) 1575-1596]
A Paradox Concerning Rate of Information: Corrections and Additions
An Automata Theoretic Decision Procedure for the Propositional Mu-Calculus
Adding Algebraic Rewriting to the Untyped Lambda Calculus
Unifying lower bounds for algebraic machines, semantically
A Note on Entropy of Kannada Prose
Processes and the Denotational Semantics of Concurrency
Foreword to the special issue on security and rewriting techniques
Bounded similarity querying for time-series data
Rotation and lighting invariant template matching
The functions erf and erfc computed with arbitrary precision and explicit error bounds
Functional Equivalence in a Class of Autonomous One-Dimensional Nonlinear Discrete-Time Systems
The Complexity of Equivalence Problems for Commutative Grammars
Object Histories Which Avoid Certain Subsequences
Effective subsets under homeomorphisms of R n
Bounded complete domains and their logical form
On the complexity and decidability of some problems involving shuffle
Computational complexity of sentences over fields
Condition for Injectivity of Global Maps for Tessellation Automata
Extrapolation When Very Little is Known about the Source
The Expressive Power of Complex Values in Object-Based Data Models
Complexity analysis of a unifying algorithm for model checking interval temporal logic
Sequent calculi and decidability for intuitionistic hybrid logic
On Solving Fuzzy Mathematical Relationships
On Cryptographic Propagation Criteria for Boolean Functions
Some General Incompleteness Results for Partial Correctness Logics
Binary Primitive Alternant Codes
Decision Problems of Locally Catenative Property for DIL Systems
The Theory of Fringe Analysis and Its Application to 2-3 Trees and B-Trees
On Deterministic Canonical Bottom-up-Parsing
On the Complexity of Concurrency Control by Locking in Distributed Database Systems
String periods in the order-preserving model
A Topology for Automata: A Note
Timed Petri nets and timed automata: On the discriminating power of zeno sequences
Some specially formulated axiomizations for ISigma 0 manage to evade the Herbrandized version of the Second Incompleteness Theorem
The Expressive Power of Stratified Programs
Higher order monotonicity and submodularity of influence in social networks: From local to global
Semi-Explicit First-Class Polymorphism for ML
Logical equivalences, homomorphism indistinguishability, and forbidden minors
Dynamic algorithms via the primal-dual method
A Note on the Strong Converse of the Coding Theorem for the General Discrete Finite-Memory Channel
Dictionary Structure and Probability Measures
Time-Space Tradeoffs for Undirected Graph Traversal by Graph Automata
Hardy is (almost) everywhere: Nonlocality without inequalities for almost all entangled multipartite states
The myriad virtues of Wavelet Trees
The Bang Bang Servo Problem Treated by Variational Techniques
Dynamical properties of a two-gene network with hysteresis
Contention-Free Complexity of Shared Memory Algorithms
Parallel Approximation Schemes for a Class of Planar and Near Planar Combinatorial Optimization Problems
Correctness kernels of abstract interpretations
Error-Free and Best-Fit Extensions of Partially Defined Boolean Functions
Convolutional Codes II. Maximum-Likelihood Decoding
Efficient theory combination via boolean search
Continuous randomness via transformations of 2-random sequences
Minimum-Hamming-Distance Decoding of Single-Generator Binary Convolutional Codes
Recursion over Realizability Structures
Polymorphic lambda calculus with context-free session types
The Information Capacity of Amplitude- and Variance-Constrained Scalar Gaussian Channels
Topologies for error-detecting variable-length codes
Mod/Resc Parsimony Inference: Theory and application
On t -revealing codes in binary Hamming spaces
Flow Models of Distributed Computations: Three Equivalent Semantics for CCS
Subharmonics of Any Order in Nonlinear Systems of One Degree of Freedom: Application to Subharmonics of Order~1/3
Some Aspects of Linear Space Automata
An Efficient Algorithm for Byzantine Agreement without Authentication
Redundant Residue Polynomial Codes
Un codage non commutatif pour certains systèmes échantillonnés non linéaires
Linear N-Decompositions and Tri-Diagonal Matrices
The geometry of reachability in continuous vector addition systems with states
On the existence of weak subgame perfect equilibria
Sorting, Trees, and Measures of Order
The Complement of a Finite Index Matrix Language Is Context Sensitive
Tools for Proving Inductive Equalities, Relative Completeness, and omega-Completeness
Regular matching and inclusion on compressed tree patterns with constrained context variables
Understanding cutting planes for QBFs
A Class of Estimators for Optimum Adaptive Detection
Results on memory-limited U-shaped learning
Extremal synchronizing circular automata
Reductions between disjoint NP-Pairs
Operational complexity: NFA-to-DFA trade-off
Qualitative analysis of concurrent mean-payoff games
Fair Deriviations in Context-Free Grammars
A Note on Bounds for Burst Correcting Codes with Lee Weight Consideration
Computational fuzzy extractors
The Hackenbush Number System for Compression of Numerical Data
An Intermediate Machine Technique for Deciding Equivalence between a DPDA and a Linear DPDA
Corrigendum to "On the equivalence of uniform key agreement and sequential composition insecurity" [Information and Computation 307 (2025) 105365]
Minimal indices for predecessor search
A procedure for deciding symbolic equivalence between sets of constraint systems
Decidability and Expressiveness for First-Order Logics of Probability
Computational completeness of equations over sets of natural numbers
Max-flow min-cut theorems on dispersion and entropy measures for communication networks
Completeness of string analysis for dynamic languages
Extending the reach of the point-to-set principle
Catalytic and communicating Petri nets are Turing complete
Cellular Graph Automata. I. Basic Concepts, Graph Property Measurement, Closure Properties
Serial Realization of the Next State and Output Functions of a Sequential Machine
Finite-state dimension and real arithmetic
Inductive Inference of Formal Languages from Positive Data
Generalization of Tests for Certain Properties of Variable-Length Codes
Strictness Analysis via Abstract Interpretation for Recursively Defined Types
Two-Dimensional Binary Arrays with Good Autocorrelation
On a Problem by Ahlswede Regarding the Capacity Region of Certain Multiway Channels
MSW Spaces
Minimization Theorems and Techniques for Sequential Stochastic Machines
dI-Domains as Prime Information Systems
Some Classifications of Context-Free Languages
Decidability and complexity for quiescent consistency and its variations
On the role of update constraints and text-types in iterative learning
A Class of Multiple-Error-Correcting Arithmetic Residue Codes
Doing-it-All with bounded work and communication
The complexity of stochastic Müller games
A mesh of automata
Cyclic Error-Locating Codes
Complexity of Equivalence Problems for Concurrent Systems of Finite Agents
Error Estimates for Sampling Sums Based on Convolution Integrals
A complete solution to the complexity of Synchronizing Road Coloring for non-binary alphabets
Spatial and behavioral types in the pi-calculus
Information flow security in Boundary Ambients
Ring exploration of myopic luminous robots with visibility more than one
On the Complexity of Learning for Spiking Neurons with Temporal Coding
Left Universal Context-Free Grammars and homomorphic Characterizations of Languages
Reachability in two-clock timed automata is PSPACE-complete
On Languages Defined by Linear Probabilistic Automata
A lower bound for integer multiplication on randomized ordered read-once branching programs
Bounded Combinatory Logic and lower complexity
The Capacity of the Product Channel
Beyond #CSP: A dichotomy for counting weighted Eulerian orientations with ARS
Modelling concurrency with comtraces and generalized comtraces
(Bi)simulations up-to characterise process semantics
Dynamic C-Oriented Polygonal Intersections Searching
Analog Perceptron: Its Decomposition and Order
Towards an algebraic theory of information integration
Mental Poker with Three or More Players
Unbounded Program Memory Adds to the Expressive Power of First-Order Programming Logic
The Sequential Estimation and Dectection of Signals in Normal Noise. I
The Weight Enumerators for Several Clauses of Subcodes of the 2nd Order Binary Reed-Muller Codes
Weighted operator precedence languages
A Simplicity Test for Deterministic Pushdown Automata
A series of slowly synchronizing automata with a zero state over a small alphabet
Partially-commutative context-free processes: Expressibility and tractability
Fault-Tolerant Critical Section Management in Asynchronous Environments
Maximin Automata
Linear logic and elementary time
Looking at mean-payoff and total-payoff through windows