yusuke1997/dblp-id-title huggingface dataset:
Pair-Correlation Functions of Point Processes and Fibre Processes
Über sprachliche Ausdrucksmittel zur syntaktischen Beherrschung der Äquivalenz von Folgen simultaner Wertzuweisungen an indizierte Variablen
A Three-dimensional Bin Packing Algorithm
Über die Verteilung der zufälligen Lebenszeit bei einem zuverlässigkeitstheoretischen Systemmodell mit reparaturfähigen Elementen
Einfluß der Verknüpfungsfunktion auf das Verhalten der binären Lernmatrix
Ein Verfahren zur Optimisierung von Laufanweisungen und Prozeduraufrufen bei der ALGOL-Übersetzung
1-Kongruenzverbände von endlichen Relationalsystemen vom Typ <2>
Small Nonplanar Subgraphs of the Cube
Die mehrstufige Berechnung der Optimallösung von Modellsystemen mit Hilfe parametrisch-dynamischer Optimierungsverfahren
The Nonuniform Complexity Classes NC, L and NL
An Equivalence Notion for Path Expressions Systems
On certain problems connected with completely defined automata (Russian)
On the Calculation and Approximation of the Mean Time Between Failure of a System with Two and Three Component Subsystems
Boolean Functions of Maximum Length and Sperner Type Conditions About the Set of Faces of the n-cube
Zweidimensional arbeitende Vektormaschinen und ihr Leistungsvermögen bei der Lösung von Entscheidungsproblemen der Aussagenlogik
On the Approximation of GI/GI/m/0 by Means of GI/GI/infinity
On Optimal Pair Sequences
Das Verhalten der binären Lernmatrix beim Angebot gestörter Eigenschaftssätze
Über die Experimentmengen determinierter Automaten
Decomposition of Stationary Continuous-time Markov Chains - a New Approach
Zur strukturellen Steuerbarkeit dynamischer Systeme
Zur Theorie des Überlaufverkehrs
Finite Embedded Trees and Simply Connected Mazes cannot be Searched by Halting Finite Automata
On an Algorithmic Technique for Hazard Identification in Logical Networks
On the Finite Populaiton GI/M/1 Queue and its Application to Multiprogrammed Computers
The Length of Random Boolean Functions
Zellulare Berechenbarkeit von Funktionen über n-dimensionalen Zeichensystemen
Once More on Orientations in Point Processes
Kleene-Mengen und Kleene-Vollständigkeit
Zur Bestimmung der maximalen Untergruppen des Transitionsmonoids eines Automaten
On the complexity of the problem of state minimization for incompletely specified sequential automata
Zur Theorie der syntaktischen Analysealgorithmen für kontextfreie Grammatiken I
Environments and Automata I
On Searching Plane Labyrinths by 1-Pebble-Automata
Queueing Method for Testing Statistical Hypotheses
Über die funktionalen Abhängigkeiten in binären Realisierungen von Automaten
The Frequency of Postshifts in Floating-Point Multiplication
Über stabile und definite partielle Automaten
On Relational Database Schemes Having Unique Minimal Key
Der Magnetbandspeicher als binärer Übertragungskanal
On Qualitative Properties of Inventory Models with Discrete Demand
Membership for 1-Limited ET0L Languages Is Not Decidable
An Algorithm for the Solution of Linear Equation Systems with Block Structure
Synthese optimaler Synchronisationsalgorithmen für additiv verrauschte Bitströme im Videoband II
Relationship Between Petri Net Languages' Classes L 0 and T 0 in the Case of lambda-Nonconsideration
Erlangsche Formeln für semimarkowschen Eingang
Nondeterministic Computations - Structure and Axioms
Segmented Winner Trees
The Influence of the Perseverance Function in Queueing Systems with Repeated Calls
Möglichkeiten der Signalverarbeitung mit akustischen Oberflächenwellen-Bauelementen
Ein Modell für Programmiersprachen und Compiler auf der Basis universeller Algebren
Über das Symposion "Psychologische Probleme kybernetischer Forschungen", Berlin, 2.-6. September 1964
Zur Raumkompliziertheit mehrdimensionaler Zellularräume und Turing-Automaten
Vorstudien zu einer exakten Regelungstheorie des Zwischenhirn-Hypophysenvorderlappen-Schilddrüsen-Systems in Abhängigkeit von der Umwelttemperatur
Graphentheoretische Lösung eines Reglerentwurfsproblems
Stationäre räumliche Faserprozesse und ihre Schnittzahlrosen
Selbstdualität Boolescher Systemfunktionen
Dimensionierung von Rechenanlagen
Limit Theorems for a Class of Regenerative Processes
On the Geometry of a Random Square Boolean Matrix
Undecidable Problems Concerning Growth in Informationless Lindenmayer Systems
Homomorphe Darstellungen endlicher Automaten in linearen Automaten
Preservation of LL- and LR-properties in Flattened Grammars
Syntaktische Untersuchungen zu Mathematischen Sprachen III
A Comparison of Some Mathematical Models of the Bus Traffic in a Single Bus Multimicroprocessor
Some Classes of Semi-Thue Systems
On the Standard Star Height of Regular Sets I
F-Transformation und Faltung in kommutativen Ringen
Eine Hierarchie beschränkter Rückkehrberechnungen auf on-line Turingmaschinen
Additive and Non-Additive Measure of Information of Comparison and Information Improvement
Table Search Procedure Theory
Asymptotic Normality for Estimators of Characteristics of Stationary Poisson Cluster Processes
Die diskrete Walsh-Transformation zur Spektralanalyse des Elektroencephalogramms (EEG) bei psychophysiologischen Untersuchungen
Linear Simple Matrix Languages
Complexity Spectra of Recursive Sets and Approximability of Initial Segments of Complete Problems
Äquivalenz und Reduktion bei linearen nichtdeterministischen Automaten
On Tape Versus Core; an Application of Space Efficient Perfect Hash Functions to the Invariance of Space
Ein Kalkül zur mathematischen Beschreibung allgemeiner Schaltungsnetze I
Tactics in KIV
Grouping for Random Marked Point Processes
SIMULA 67 and systems analysis
Polynomial Computability and Recursivity in Finite Domains
Speeding up Processors Improves Their Effectiveness
Definite Languages and Combinatorial Linearly Realizable Automata
The two-level grammars for the definition of semantics
Zur Strukturtheorie endlicher nichtdeterministischer Automaten II. Gesteuerte Summen und Steuerbäume nichtdeterministischer Automaten
Comparison of two LISP-compilers: Standford versus DOS/ES-LISP
Eine Verschärfung der Quadratwurzel-Schranke für Quadratische-Rest-Codes einer Länge n = -1 mod 4
Theorie stochastischer Automaten II
Hyperquader als kompakte Klassifikatoren
Lernfähige Netzwerke zur linearen Merkmalsbildung
Analyse und Synthese stochastischer Automaten
Generalized Adjoint Situations Concerning Categories of Graphs with Certain Hamiltonian Progerties (Questions of Existence)
Automaten in Labyrinthen II
Another Algorithm Determining the Independence Number of a Graph
Zum Einfluß der Wechselwirkungen zwischen vegetativen Regelkreisen von Warmblütern auf die Störgrößenkompensation - eine Modellstudie
Regulation and Internal Stabilization im linear Multivariable Systems Using Dynamic Compensation
Eine einfach strukturierte Schaltwerk-Normalform mit niedriger Test-Komplexität
Die Modellierung der Arbeit von Turingmaschinen mit n-dimensionalem Band durch Turingmaschinen mit eindimensionalem Band
Normed Two-Plane Traps for Finite Systems of Cooperating Compass Automata
The Telephone Problem for Connected Graphs
The Inclusion Problem for DOI Languages
Realisierung der Verbandsopteratioen für Regulartiätsklassen von Kodierungen
Methoden der Analyse und Synthese von hasardarmen Schaltnetzen mit minimalen Kosten III
Tandom Behavior of a Random Access Telecommunication System with Repeated Calls
Properties of k-machines II
Solid Codes
On a Decidability and Translation Result Concerning LR(0) Grammars
Probleme der Bayesschen Schätzung bei zeitdiskreter Beobachtung
On Dependencies in the Relational Model of Data
Subcubes of Random Boolean Functions
Formulas for the Availability of Units with Age Replacement Policy
DTOL Systems and Catenativity
Minimierung des Einflusses der in der Praxis auftretenden Störungen der Samplingwerte I. Zeitdiskrete Betrachtung
Ein Algorithmus zur Behandlung der Modusäquivalenz in einer unter Untersprache von ALGOL 68
The Ehrenfeucht Conjecture for Transducers
On Specifying Sets of Integers
Formale Beschreibung der Syntax und Semantik von Programmiersprachen am Beispiel der Beschreibung einer Systemprogrammiersprache
Zum Testen und Komplettieren von asynchronen Automaten bezüglich Prellunempfindlichkeit
Die memorierende Lernmatrix
Formal description of programming languages by transition functions
Zur Theorie topologischer Automaten II
On a Complexity Characteristic of Languages
Turing-Maschinen und Zellularräume in der Ebene
Zur minimalen Modellbildung bei linearen diskreten Systemen
On Stationary Waiting Times and Limiting Behaviour of Queues with Many Servers II: The G/GI/m/infinity Case
Zur Verarbeitung von Zufallsfolgen durch abstrakte Automaten I
Domination Theory and Network Reliability Analysis
Zur statistischen Verteilung des Outputstroms in Paketvermittlungssystemen
Self-regulating L Systems
Stationäre Flächenstückprozesse im R 3
Stochastische Modellierung der Produktionsprozesse zur Gewinnung und Verarbeitung von Erzen
Eine Bemerkung zur Charakterisierung von Folgenmengen durch Wortmengen
Kellerautomaten mit mehreren Kellern
The Partition of a Square in Rectangles with Equal Areas
Versuch einer Lerndefinition für Automaten I
Operatornets: Their Unfoldments and Coverings
Characterizations of the Solvability of Fuzzy Equations
Zur Theorie der Zuverlässigkeit und Stabilität von Leistungsprozessen
Zur Definition und Optimierung von deterministischen Klassifizierungs- und Indentifizierungsprozessen (Suchverfahren) auf der Grundlage der Fragebogenteorie
An Inventory-Model with Stochastic Leadtime and Delivery
Ein Verknüpfungselement der binären Lernmatrix für mehrschrittige Lernphase
Modellierung einer EDVA durch ein Bedienungssystem mit virtuellem Bedienungsknoten
Maximum Nontrivial k-uniform Set Families in Which no µ Sets Have an Empty Intersection
Extended Conditional Tabled Eco-Grammar Systems
EXTRA - Defining Report on an Algorithmic Language for Teaching "about" Programming
A Continuity Theorem for Stationary Distributions in General m-Server Queues
Reliability of Used Components
Reliability Bounds Based on Network Splitting
Improved Parallel Computations in the Ring Z/p alpha
Über Neuronennetze als Modelle der Frequenzanalyse des Gehörs
Zur Umformung von Anweisungsfolgen
A Continuous Version of a Sperner-type Theorem
Ein einfacher Korrelator zur Berechnung der Polaritätskorrelationsfunktion
A model for PL/I-multitasking using a simulated time
Über kontextfreie stochastische Sprachen
Semiautomaten mit K-determinierten Konruenzverbänden
Realizing the distance matrix of a graph
Some Estimators for the First-order n-fold Palm Moment Measure and Their Application to the Investigation of Dependences in Point Patterns
Flußbildmaße
Zum Labyrinthproblem
Some Hamiltonian Properties of Products of Digraphs
Unification in Second Order Logic
On the Bandwidth of Graph Products
A Generalization of the Input and Output Process Approach to Categorical Automata Theory
A New Characterization Theorem of Tree-Transductions
Planar Random Sections of Polyhedrons
Morphismes et comptages sur les langages rationnels
Über die Reduktion eines erweiterten linearen Automaten
Untersuchungen kontextfreier stochastischer Sprachen
Remarks on the Method of Diffusion Approximation and Some Further Heuristic Formulas
Two Pumping Lemmata for Petri Nets
Über die Anwendung der Monte-Carlo-Methode zur näherungsweisen Bestimmung der Grenzverteilungen von Ketten mit vollständigen Bindungen
Zur Minimalisierung stochastischer Automaten
Vereinfachte Verfahren zur Berechnung der Strukturgleichungen von Folgeschaltungen
A Weak Iteration Theorem for k-limited E0L Systems
Über eine Stetigkeitsfrage betreffend das Bedienungssystem GI/GI/s
Systems of Pushdown Acceptors and Context-free Grammars
Three Generalized-Additive Measures of Entropy
Zur linearen Darstellbarkeit von Ausdrücken des Aussagenkalküls
The Number of Loops Necessary and Sufficient for Computing Simple Functions
A Lower Bound for the Length of Snakes
Modelling the Development of the Number of Trees in Pine Stand-by Death Process and Statistical Inference
Hypergraph Grammars: Transformational and Algorithmic Aspects
Methoden der Analyse und Synthese von hasardarmen Schaltnetzen mit minimalen Kosten I
Einfluß von Exemplarstreuungen der Verknüpfungselemente auf das Verhalten einer binären Lernmatrix
Probleme und Bedeutung der Entwicklung von Programmierungssprachen
Ein Normalformentheorem für Sigma 2 -Funktionen
An Improved Lower Bound on the Formula Complexity of Context-free Recognition
A Performance Model for Idealized Multiprocessors
Über Hamiltonizität in einer Klasse spezieller Graphen
A Generalization of Intensivity Results by Cyclically Marked Stationary Point Processes
Solving Generalized Equations Over Infinite Trees
Combining Postulates of Naturalness in Inductive Inference
Näherungsverfahren zur Lösung von Steuerungsproblemen bei der Informationsübertragung von Nerven auf Erfolgsstrukturen
Which Monoids are Syntactic Monoids of omega-Languages?
Dynamic Inventory Problems and Implementable Models
Eine einheitliche Matrizendarstellung von Äquivalenzrelationen, Halbordnungsrelationen, Ordnungsrelationen und Metriken
On the Stochastic Behaviour of the Floating Point Mantissas of Sums
On a Closed Communication System with Fast Sources and Operating in Markovian Environments
ALGEBRA - An Interactive System for Finite Field Arithmetic
On k-limited L Forms
Reliability Analysis of a Standby System with Repairable Components
Eindeutige Umkehrbarkeit des Verhaltens asynchroner ND-Automaten
Zur Struktur des Augenfolge- und Fixationssystems des Menschen unter regelungstechnischen Gesichtspunkten mit Berücksichtigung des Reafferenzprinzips
On Time Petri Nets
Grenzwertsätze für einen allgemeinen linearen stochastischen Lernprozeß
Bemerkung zur Minimierung asynchroner Automaten
Zur Existenz und Berechnung optimaler Vorhersagen für die Ausgabe stochastischer Automaten unter Kompaktheitsbedingungen
Monotonic Coverings of Finite Sets
Erlernen logischer Entscheidungsfunktionen bei gestörtem Angebot
Einige numerische Invarianten der teilweise geordneten Menge Phi k von Vertauschbarkeitsmengen der k-wertigen Logik
Eine Bemerkung zur Minimisierung schaltalgebraischer Ausdrücke beim Vorliegen von DON'T-CARE-Bedingungen
Automatische Zeichenerkennung durch Auswertung der Extremalwerte des zweiten Differentialquotienten
Eine Bemerkung zum "allgemeinen Reduktionsproblem" von P. H. Starke
Redundanzmatrizen und Reduktion von Modulautomaten
Ein Beitrag zur Transformation ganzzahliger Optimierungsprobleme
Specification and Implementation of a Tree Interface for Ada
Sensitivity analysis of linear and nonlinear network
Zur Charakterisierung perfekter Graphen
Verallgemeinerte Pullbackkonstruktionen bei Semi-Thuesystemen und Grammatiken
Anwendung zyklischer Kodes für den Korrelationsempfang in der digitalen Nachrichtentechnik
On Breadth-first Context-free Grammars
Eine Bemerkung zu einer Arbeit von Monien über Kopfzahl-Hierarchien für Zweiweg-Automaten
Results Concerning Palindromicity
Fixed Point Characterization of Büchi Automata on Infinite Trees
Regular Domains
Generalized Sampling Expansions of Signals for Finite Hankel and other Transforms
Z n -critical Digraphs
From Data Types to Object Types
A method to formalize the semantics of programming languages
Über die Transformation zweiseitig unendlicher Folgen durch determinierte Automaten
Kongruenzverbände autonomer Semiautomaten
Ein maximaler lokaler Algorithmus für Aufgaben der ganzzahligen linearen Optimierung
On the Equivalence Problem in Automata Theory: A Uniform Approach
Some Classifications of Indian Parallel Languages
On the Generative Capacity of Contextual Schemata with Syntactical-invariant Choice
Eine theoretische Fundierung der diskreten Optimierung mit logischen Mitteln
Zum Auffinden von Feedbackpartitionen für endliche Automaten
Lokale und globale Synchronisation
Zur Anzahl der kreisfreien Turniere, die Obergraph eines endlichen markierten kreisfreien Digraphen sind
A Least Exchange Theorem for the Generalized Timetable Problem
Eine Bemerkung zur Berechnungskompliziertheit auf Registermaschinen
Real-Time Computability of integer part of (abs(alpha) x) and integer part of x alpha
Vektorielle Theorie der Zustandssysteme synchroner stochastischer Automaten
FKE-Verfahren, ein Verfahren zur Funktionsklassifizierung mittels Digitalrechner
Fast Parallel Realization of Matrix Multiplication
Irredundant Disjunctive Normal Forms of Random Boolean Functions
Sequentielle Operatoren und ihre Anwendung beim Studium sequentieller (diskreter) Codierungen II
Reversible Machines and Post's Correspondence Problem for Biprefix Morphisms
Einfach-rekursive Programmschemata
Über die Berechnung minimaler Turingmaschinen und anderer minimaler Systeme
Stationäre Verteilungen endlicher offener Systeme
Hilfsmittel zur Regelkreisuntersuchung mit zwei Ortskurven
Pullbackkonstruktionen bei Semi-Thuesystemen
A Queueing Model for Processor-shared Multiprogrammed Computer Systems with Controlled Services
Maximale Familien bezüglich einer verallgemeinerten Sperner-Bedingung
Über Turingmaschinen mit variablem Speicher
Internationales Symposium "Diskrete Mathematik und Anwendungen in der Mathematischen Kybernetik" Berlin, 3.-10. November 1974
Implementing Algebraic Specifications by Graph Transformation Systems
Bemerkung zu einem Theorem von J. Mecke
Zustandskodierung mit gleichzeitiger Zustandsreduktion hinsichtlich eines möglichst geringen Logikaufwandes
Extending Remarks on the Eustace-Mukhopadhyay Approach to Design Rule Checking of Integrated Circuit Layouts
Size Complexity of Context-free Languages
On Genuine Complexity and Kinds of Nondeterminism
Zur Konvergenzgeschwindigkeit von Strategien der induktiven Inferenz
About a Possibility of the Topologie and Electrical Description of Multiterminal Network
Ein verallgemeinertes Superpositionsprinzig für binäre Automaten
On Minimal-Program Complexity of Complex Sets
Über Finalexperimente an determinierten Automaten
Über abgeschlossene Teilmengen von P k, 2
Stärke-Relationen für URM-Befehlssysteme
Konfidenzintervalle vorgegebener Länge für Begrenzungsparameter von Verteilungen
Zur Theorie der syntaktischen Analysealgorithmen für kontextfreie Grammatiken II
On the notion of concentration I
Number-theoretic Transforms in Rings of Cyclotomic Integers
About k-optimal Representations of Posets
Further Comments on Some Queueing Inequalities
An Application of Cox's Regression Model for Counting Processes to a Maintenance Model
A Completeness Criterion for P k (l)
Power algebras: clones and relations
A Note on "A Special Problem on Rectangular Floorplans Solvable in Polynomial Time" of G. Bär
On Subalgebras of an Algebra of Predicates
Some Results on Hamiltonian Properties of Products of Digraphs I. t-Hamiltonian Properties and Strong Path-Connectedness
A Lower Bound for the Number of Nodes in a Decision Tree
The Convex Hull Problem on Special Planar Point Sets
Applications séquentielles permutables
On the Solution of the Labyrinth Problem for Finite Automata
Simulation endlicher Automaten durch Ketten aus einfachen Bausteinautomaten
Zur algebraischen Charakteristik der durch kontext-freie Sprachen definierten Gruppen
A Calculus Supporting Structured Proofs
Über sequentiell berechenbare reelle Abbildungen
Power Graphs
Corrigendum to: "Hamiltonicity of the Normal Product of Hypergraphs" in: J. Inform. Process. Cybernet. EIK26(1990) 7, 415-433
Ein Verfahren zur automatischen Berechnung des Leistungsspektrums von Elektroenzephalogrammen mit Hilfe einer hybriden Rechenanlage
Algebren endlicher stochastischer Automaten und ihrer Verhaltensfunktionen I
On the Number of Non-isomorphic Strongly Connected Finite Automata
Design and Test of a Pattern Matching Circuit
Vorwärts-Rückwärtszähler mit Transfluxoren
Multichannel Queueing Systems with Repeated Calls Under High Intensity of Repetition
Modularisation, Parametrisation, Interpolation
Separating Oblivious Linear Length MOD p -Branching Program Classes
Einige Eigenschaften der Monoide von Akzeptoren und Ereignissen
On the Cartesian Sum of Undirected Graphs
Über Momente der Autokorrelationsfunktion eines Zeichens
Nonharmonic Fourier Series: A Formalism for Analyzing Signals
On the Diagonals of n-Regular Relations
Synthese der geometrischen Form ebener magnetischer Bauelemente
Ein vollständiger Ableitungsbegriff für die Äquivalenz in einem funktionell unvollständigem dreiwertigen Aussagenkalkül
Zur algebraischen Aufbereitung ALGOL-ähnlicher Sprachen
Sequential Fixed-Width Confidence Interval for System Availability
Hamiltonian Properties of the Lexicographic Product of Undirected Graphs