yusuke1997/dblp-id-title huggingface dataset:
An Integer Concave Minimization Approach for the Minimum Concave Cost Capacitated Flow Problem on Networks
Parameter Estimation for BMAPs
On the Rareness of Disturbed Martingales in the Class of all Uniformly L 1 -bounded Stochastic Processes
Efficient OBDD-Based Boolean Manipulation in CAD Beyond Current Limits
Personal Name Matching: New Test Collections and a Social Network based Approach
Medizinische Bildverarbeitung - eine Übersicht
On Regularisation of Nonconvex Problems
Approximate Analysis of Multi-Queue Stations with 1-Limited Service
tele-TASK - Teleteaching Anywhere Solution Kit
Trust Region Methods for Solving the Optimal Output Feedback Design Problem
On Optimization Properties of Functions with a Concave Minorant
A LMI-Based Algorithm for Designing Suboptimal Static H 2 /H infinity Output Feedback Controllers
Interprocedural Invariants
Stability Analysis of Wireless Networks
Mod-2-OBDD's: A Generalization of OBDD's and EXOR-Sum-of-Products
Upper and Lower Bounds for Certain Graph-Accessability-Problems on Bounded Alternating (omega)-Branching Programs
WWW.BDD-PORTAL.ORG: An Experimentation Platform for Binary Decision Diagram Algorithms
Vom M/G/1- zum BMAP/G/1-Modell
Convergence of Time-Continous Disturbed Martingales and Financial Market Modelling
Stochastic Modeling of Server Capacity Utilization by Geometric Sums
Proximal Interior Point Approach for Solving Convex Semi-infinite Programming Problems
Monotonous Oracle Machines
A New Proof of the Beckenbach Inequalities
Efficient Boolean Manipulation with OBDD's can be Extended to FBDD's
Approximating Semi-Markov Processes by MAPs, with an Application on Queueing Theory
Reduction of Some Optimal Control Problems with Variational Inequalities to Ill-Posed Optimal Control Problems with Linear State Equations
No-Waiting Stations with Special Arrival Processes and Customer Motion
Die Entwicklung der Informatik braucht Theorie und Praxis: Ein Fallbeispiel aus dem CAD-Schaltkreisentwurf
On the Complexity of Constructing Optimal OBDD's
Convergent Outer Approximation Algorithms for Solving Unary Problems
Global Convergence of Inexact Reduced SQP Methods
Nonuniform Grids for Reduced Basis Design of Low Order Feedback Controllers for Nonlinear Continuous Systems
Discrete Tomography: Determination of Finite Sets by X-Rays
On the Complexity of One Branching Graphs
Stable Methods for Variational Inequalities with Set Valued Monotone Operators
Operator-Geometric Solutions for the M/G/k Queue and its Variants
On a Weak Norm Based Prox-Regularization Method
On the Reconstruction of Binary Images from Their Discrete Radon Transforms
On the Algorithmic Complexity of Minkowski's Reconstruction Theorem
A Parametric View to the Mangasarian-Fromovitz Constraint Qualification
Performance Analysis of SDN Specific Error Procedures: Comparison of Step-by-Step and End-to-End Schemes
TI-jPACS - eine frei verfügbare leistungsfähige Plattform zur medizinischen Bildverarbeitung und -visualisierung
Approximation Results for Wavelength Routing in Directed Binary Trees
State Encodings and OBDD-Sizes
Global Rebuilding of OBDD's - Tunneling Memory Requirement Maxima
On Graph Models for Communicating Mobiles in Access Areas
Generalized Semi-Infinite Optimization: A First Order Optimality Condition and Examples
Exact Analysis of Closed Synchronized Systems of Stochastic Sequential Processes
Customer Motion in Queueing Models: The Use of Tangent Vector Fields
Computation of PODs for Fluid Flows with Lanczos Methods
Cross-Positive Matrices Revisited
On the Acceptance Power of Groups and Semigroups
Application Driven Variable Reordering and an Example in Reachability Analysis
A Note on Möbius Functions and the Communication Complexity of the Graph-Accessability-Problem
On Alternating vs. Parity Communication Complexity
Lagrange-Duality and Partitioning Techniques in Nonconvex Global Optimization
Combinational Logic Verification with FBDDs
An Optimization Algorithm for the MAP/PH/K Queue with Heterogeneous Servers
Boolean Manipulation with Free BDD's - First Experimental Results
A Heuristic for (+)-OBDD Minimization
A Fast and Robust Algorithm for a Class of Generalized Fractional Programs
Reduction of Generalized Semi-Infinite Programming Problems to Semi-Infinite or Piece-Wise Smooth Programming Problems
On Continuous Deformations of Semi-Infinite Optimization Problems
On the Complexity of some Basic Problems in Computational Convexity: 1. Containment Problems
On the Distribution of càdlàg Processes without Explosions
Scheduling with Constrained Processor Allocation for Interval Orders
On the Complexity of a Licence Constrained Job Assignment Problem
On the G/GE/1 Queue
Lock-Keeper Technology - A New Network Security Solution
Inductive Counting below LOGSPACE
A Lagrangian Method for Solving the Optimal Output Feedback Design Problem
Räumliche Markov-additive Prozesse und Bedienstationen ohne Warteraum
Symmetric Functions in AC 0 [2]
Two Logarithmic Barrier Methods for Convex Semi-Infinite Programming Problems
The Graph of Integer Multiplication is Hard for Read-k-Times Networks
On Product Connection Theorems for Markov Chains
The Theory of Optimal Sampling in Continuous Time
Spatial Generalization of BMAP's with Finite State Space
Convergence Results on Proximal Method of Multipliers in Nonconvex Programming
A QQP-Minimization Method for Semidefinite and Smooth Nonconvex Programs
Linearly Constrained Global Minimization of Functions with Concave Minorants
The complexity of optimal small policies
Two short notes
The Structure Theorem for Linear Transfer Systems
A Decomposition Method Using Duality Bounds for Nonconvex Optimization
Convolution Algorithms for BMAP/G/1-Queues
Primal-Dual Contraint Aggregation Method in Multistage Stochastic Programming
Convergence of Disturbed Martingales and a Stochastic Model for Annuity Funds
A Decomposition Algorithm for Optimization over Efficient Sets
Speeding Up Symbolic Model Checking by Accelerating Dynamic Variable Reordering
Polytope Projection and Projection Polytopes
On the Numerical Simulation of Bingham Fluid Flows Using Prox-Regularization
On Communication Games with More than Two Players
Structured PSB-Update for Optimal Shape Design Problems
A Rainbow about T-Colorings for Complete Graphs
From Markov Jump Processes to Inhomogeneous BMAPs
Parallel versus Sequential Task-Processing: A New Performance Model in Discrete Time
VisBDD - A Webbased Visualization Framework for OBDD Algorithms
An EM Algorithm for Platoon Arrival Processes in Discrete Time
Non-quadratic Proximal Regularization with Application to Variational Inequalities in Hilbert Spaces
Approximation Algorithms for Register Allocation
BMAP/G/1-Queues: Properties of the Fundamental-Period-Matrix G
A Modified Mesh Independence Principle of Newton's Method
Stochastic Simulation of Markov Modulated Finite-Source Queues
MMB '99, Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen, 10. GI/NTG-Fachtagung, 22.-24. September 1999, Trier, Kurzbeiträge und Toolbeschreibungen
On Multiplicative Structure in Quasi-Newton Methods for Nonlinear Equations
One Step Further: Integrating Electronic Submission and the Reviewing Process
Improving XOR-Node Placement for (+)-OBDDs
Model-Checking for L 2
Stochastic Constraint Aggregation Method for Convex Semi-Infinite Problems
Regularisierte Strafmethoden für inkorrekt gestellte Kontrollprobleme mit linearen Zustandsgleichungen
Representation of Feedback Operators for Hyperbolic Partial Differential Equation Control Problems
Scheduling and Related Graph Theoretical Problems
Dual Characterization of Super-Hedging Prices in a Currency Market with Proportional Transaction Costs
On the Power of Polynomial Bit-Reductions
Optimal Static Output Feedback Design By Using a Trust Region Interior Point Method
A Phase Space Model for Spatial BMAPs
Accelerating OBDD-Minimization by Means of Structural and Semantical Properties
On the GI/G/k Queue with Lebesgue-Dominated Inter-Arrival Time Distribution
Proximal Methods: Decomposition and Selection
On MAPA/G/K/K Stations
Do We Really Need Common Variable Orders for Synthesizing OBDDs?
A new Algorithm for Solving the General Quadratic Programming Problem
Constraint Decomposition Algorithms in Global Optimization
Complexity Results for the Optimum Cost Chromatic Partition Problem
External Tangents and Closedness of Cone + Subspace
Polytope Containment and Determination by Linear Probes
Static Output Feedback Design by Using a Newton-SQP Interior Point Method
Ordered Binary Decision Diagrams in Electronic Design Automation
Quantization for Probability Measures with Respect to the Geometric Mean Error
Convergence of Generalized Supermartingales with Continous Parameter
Utility Function Programs and Optimization over the Efficient Set in Multiple Objective Decision Making
A New LP-Bound in Multivariate Lipschitz Optimization: Application to Unconstrained and Linearly Constrained Problems and to Systems of Inequalities
Ein Faltungskalkül für Matrizenfolgen und verallgemeinerte Poisson-Gruppenprozesse
Zur strukturellen Stabilität von Kommunikationssystemen - Eine kurze Einführung in die Grundlagen
Lower Bounds for Randomized Branching Programs with a Big OBDD Part
Proximal Point Methods in Examples
Zur Berechnung optimaler Steuerungen über Momentenungleichungen
10 Jahre ECCC - Eine Digitale Bibliothek in weltweiter Benutzung
Complete Families of Invariant Distributions
Logarithmic Barrier Methods for Solving the Optimal Output Feedback Problem
OBDD-based Verification of Communication Protocols - Methods for the Verification of Data Link Protocols
A Comparison of Numerical Methods for Optimal Shape Design Problems
Quantization for Probability Measures in the Prohorov Metric
Proximal Methods in View of Interior-Point-Strategies
Condensing Tensor Product Modules
Scheduling of Conditional Executed Jobs
Optimal Allocation of Jobs between Heterogeneous Servers in the Retrial MAP/PH/K Queue
Weak Error Tolerance Criterion in Generalized Proximal Methods
Proximal Interior Point Approach in Convex Programming
Product Form Solutions for Closed Synchronized Systems of Stochastic Sequential Processes
Xor-OBDDs - a BDD Structure for Probabilistic Verification
Distributed Script - A Mobile Application for Multi-hop Ad-hoc Networks
18. Workshop über Komplexitätstheorie, effiziente Algorithmen und Datenstrukturen, Universität Trier, 20. Oktober 1992 (Abstracts)
Stability Conditions for the BMAP/G/1 Queue with Level Dependent Arrivals
Some Heuristics for Generating Tree-like FBDD Types
Practical PRAM Programming with Fork95 - A Tutorial
Design and Implementation of a PHP-based Web Server for the Tele-Lab IT Security
Polytopes in Combinatorial Optimization
An Efficient Method for Aerodynamic Shape Optimization
Minkowski Addition of Polytopes: Computational Complexity and Applications to Gröbner Bases
IDDS: An Interactive Decentallzed Documentation System
On the Complexity of some Basic Problems in Computational Convexity: II. Volume and mixed volumes
Complexity of Finite-Horizon Markov Decision process Problems
A Branch and Bound Approach for Solving a Class of Generalized Semi-Infinite Programming Problems
Modular Partitioning for Improvement of Image Computation
Neue Ergebnisse für BMAPs und räumliche Warteschlangen
On Generalized Bisection of N-Simplices
Ein Newtonverfahren zur zeitoptimalen Vibrationsdämpfung
Efficient Analysis and Manipulation of OBDDs can be Extended to Read-once-only Branching Programs
A Pre-Dual for the Convolution Algebra D'(Gamma+)
A Unifying Theoretical Background for Some BDD-based Data Structures
Unambiguity of SMGL Content Models - Pushdown Automata Revisited
A Decomposition Method in Nonconvex Mixed-Integer Programming
The WWW meets EDA: Usability evaluation of OBDD-heuristics via the Internet
Utility Function Program with or without Explicit Form of Utility Function
On a Fast Algorithm for Constrained Nonlinear Least Squares Problems
An Indefinite Preconditioner for KKT Systems Arising in Optimal Control Problems
Binary Decision Diagrams and the Multiple Variable Order Problem
Polynomial Constants are Decidable
Computational Design of Stabilizing Static Output Feedback Controllers
Spatial Queues with Infinitely Many Servers
The Disjoint Cliques Problem
Phasentyp-Verteilungen und Matrix-analytische Methoden
Numerical Solution of Control Problems under Uncertainty and Perturbation of Input Data with Applications in Finance
Efficient Manipulation of FBDDs by Means of a Modified OBDD-Package
Ordered Binary Decision Diagrams and Their Significance in Computer-Aided Design of VLSI Circuits
A Branch-and-Bound Decomposition Approach for Solving Quasiconvex-Concave Programs
Finite Limits and Lower Bounds for Circuits Size
Finding Scientific Papers with HPSearch and MOPS
Forward and Inverse Problems in Modeling of Multiphase Flow and Transport Through Heterogeneos Porous Media
Numerical Parameter Identification in Non-isothermal Multiphase Multicomponent Flow through Porous Media
On the Joint Distribution Functions of Order Statistics with Reference to Step-up Multiple Test Procedures
Algorithmic Considerations for +-OBDD Reordering
On the Queue-Length-Distributions of the E k /M X /1 Queue and of the E k /GE/1 Queue under Repetitive-Service Blocking
Integrating Scalable Parallel Libraries and Automatically Parallelizing Compilers
Zum Gleichgewichtsverhalten von Markov-Prozessen
Case Study: Manipulating xor-OBDDs by Means of Signatures
Separation by Hyperplanes in Finite-Dimensional Vector Spaces Over Archimedean Ordered Fields
On Markovian Spatial Arrival Processes for the Performance Analysis of Mobile Communication Networks
Log-concavity and Inequalities for Chi-square, F and Beta Distributions with Applications in Multiple Comparisons
A Piecewise-Deterministic Model for Brownian Motion
Largest j-Simplices in n-Polytopes
50 Jahre Studiengang Informatik an der RWTH
Muffin: A Distributed Database Machine
Computer Science Curricula 2013
Differences in productivity and impact across the different computer science subareas
Möglicher Einsatz von Votierungsverfahren zur Nebenläufigkeitskontrolle in synchronen Groupware-Systemen
Data structures for multilevel adaptive methods and iterative solvers
Implementierung von Algorithmen zut Kompaktifizierung von Programmen für VLIW-Architekturen
Dataflow semantics for Petri nets
Numerical standard form for asymptotic two-point boundary value problems
Introduction to differential algebraic equations in vehicle system dynamics
An O(n3) learning algorithm for fully recurrent networks
Branching time and abstraction in bisimulation semantics
Conceptual neighborhood and its role in temporal and spatial reasoning
Eine Parallele zwischen Differentialgleichungen und diskreter Simulation: nebst Anwendung auf das Problem der verteilten Simulationsausführung
Die Logiksprache LOLA und ihre interne Darstellung durch Relationen
Die Rolle der Lastverteilung bei der numerischen Parallelprogrammierung
Linear paramodulation modulo equality
Probleme regelbasierter Repräsentation von Wissen in juristischen Expertensystemen
Fixpoint evaluation with subsumption for probabilistic uncertainty
Transformation und Komposition von P/T-Netzen unter Erhaltung wesentlicher Eigenschaften
Topological methods for algebraic specification
The efficient solution of fluid dynamics problems by the combination technique
Heuristic coloring of weighted graphs and the maximum weight clique problem
An adaptive poisson solver using hierarchical bases and sparse grids
Action oriented learning in classifier systems
Grid- and point-oriented multilevel algorithms
Splitting as a source of parallelism in disjunctive logic programs
Adaptive parallele Multilevel-Methoden zur Lösung elliptischer Randwertprobleme
A toolbox for multigrid methods
Wissensrepräsentation in künstlichen symbolverarbeitenden Systemen
Incorporating prior knowledge in parsimonious networks of locally tuned units
Maintaining qualitative spatial knowledge
On local refinement higher order methods for elliptic partial differential equations
Multilevel, extrapolation and sparse grid methods
Classical negation in logic programming
Spezifikation des UNIX-Datei- und Variablensystems : eine SPECTRUM-Fallstudie
Multilevel algorithms considered as iterative methods on indefinite systems
Gauss' adaptive relaxation for the multilevel solution of partial differential equations on sparse grids
Entwicklung einer bildorientierten Benutzeroberfläche für wissensbasierte Dialogsysteme
Auf der Suche nach Parallelität: ein Sprachvergleich ParMod-PM
Classification of trajectories - extracting invariants with a neural network
Development of a distributed min max component
Bisimulation and action refinement
Random competition: a simple, but efficient method for parallelizing inference systems
Database support for problematic knowledge
Synergy between formal and pragmatic software engineering methods
Parallel program development for a recursive numerical algorithm: a case study
Die Generierung einer stabilen Raumdarstellung
Stabilitätsuntersuchung von Differenzenverfahren mit Hilfe der Resultantenalgebra unter Verwendung des REDUCE-Systems
Parallel multigrid methods on sparse grids
Numerical simulation of two-dimensional flows by the free Lagrangian method
A simulator for VLIW architectures
Extrapolation techniques for constructing higher order finite element methods
Zur formalen Beschreibung der funktionalen Anforderungen an ein Informationssystem
A deadlock-sensitive congruence for action refinement
Transformation systems for program synthesis: Knuth-Bendix completion and fold/unfold
Learning to control fast-weight memories: an alternative to dynamic recurrent networks
An approach to parallel unification using transputers
Uniform circuits and exclusive read PRAMs
A neural trajectory storage
Zur Portierbarkeit taxonomischer Wissensbasen zwischen heterogenen Systemen
PART: a parallel relational toolbox as basis for the optimization and interpretation of parallel queries
Performance analysis of competitive OR-parallel theorem proving
Recovery and transaction management in write optimized database systems
LOLA: a logic language for deductive databases and its implementation
Weakening the weak conditions for self-timed circuits
System and environmen: The philosophers revisited
A combination technique for the solution of sparse grid problems
Identification as programming language principle
Concurrent temporal logic
Temporal reasoning based on semi-intervals
Two results on unambiguous circuits
Implementing exception in inheritance by concept transforming actions
Failures semantics of Petri nets and the refinement of places and transitions
Quality criteria for partial order semantics of place/transitions nets
Cognitive science - eine Standortbestimmung
Equivalences and refinement
Combining Horn Clause logic with rewrite rules
36 problems for semantic interpretation
Collective learning and action coordination
Utterance generation without choice
Ablaufspezifikation durch Datenflussmodellierung und stromverarbeitende Funktionen
Software specification methods from the viewpoint of reusability
Making the world differentiable: on using self supervised fully recurrent neural networks for dynamic reinforcement learning and planning in non-stationary environments
Modular functional modelling of Petri nets with individual tokems
Classification of non-linear separable real world problems using Δ-rule [delta rule], perceptrons, and topologically distributed encoding
Unambiguous simulations of auxiliary pushdown automata and circuits
Functional modelling of operating sytem [system] structures by timed higher order stream processing functions
s: exploiting the structure of space
Expressing first order logic within Horn Clause logic
The distributed C development environment
Schnellere Berechnung klassischer Matrix-Multiplikationen
Towards compositional learning with dynamic neural networks
Extrapolation and related techniques for solving elliptic equations
Modelling and performance analysis of a parallel theorem prover
Fouriertransformation auf dünnen Gittern mit hierarchischen Basen
Layout optimization with algebraic multigrid methods
On confluent semi-commutations: decidability and complexity results
Performance analysis and optimization of numerically intensive programs
Local and global causes
A knowledge and deduction based software retrieval tool
Speedup analysis by hierarchical load decomposition
Non-deterministic computing, transactions, and recursive atomicity
R-Lisp: eine erweiterte relationale Algebra in Lisp
Deriving efficient parallel programs by systemating coarsing specification parallelism
Modular specification of process algebras
Adding resynchronisation to optimistic distributed simulation
Ein Semi-Kollokationsverfahren zur numerischen Lösung von Nierenmodellen
Beyond Hebb synapses: biological building blocks for unsupervised learning in artificial neural networks
StoL - a literate programming in SCHEME
Reducing rollback overhead in time warp based distributed simulation with optimized incremental state saving
Zur übersetzung von E-R-Schemata nach SPECTRUM
Introduction to the parallel and distributed programming language ParMod-C
Assumption, commitment rules for networks of asynchronously communicating agents
On distributed logic simulation using time warp
Concept of an integrated trajectory generation system
Convergence of the combination technique for the finite element solution of Poisson's equation
A generalization of trace theory
Formal program construction by transformations computer aided, intuition guided programming
A relation algebraic approach to modal correspondences
Envelopes of holomorphy and analytic structure on the spectrum
Loop program synthesis using array traversing modules
Ein System zur Erforschung qualitativer Objektrepräsentationen: SEqO
Neuronale Netzwerk-Paradigmen zum Erlernen von Heuristiken
Functional modeling of clocked hardware circuits
Irreduzible induzierte Darstellungen von ICC-Gruppen
Distributed Systems: A Comprehensive Survey
A parallelizable and vectorizable multi-level-algorithm on sparse grids
A survey of virtually shared memory schemes
Zur Lösung von Finite-Differenzen- und Finite-Element-Gleichungen mittels der Hierarchischen-Transformations-Mehrgitter-Methode
Mapping a generator for neural network simulators to a transputer system
Optimal parallelization of Las Vegas algorithms
Iteration theories of synchronization trees
On constructive specifications of abstract data types using temporal logic
Implementing high level identification specifications
Towards parallelism in a rational database system
Modal checking for the modal mu-calculus using Gauss elimination
Parallelism algebras: a link between process algebras and abstract relation algebras?
Characterizing the behavior of reactive systems by trace sets
Backpropagation with temperature parameter and random pattern presentation
Generalized OM-bisimulation
Numerical integration of multibody systems by a projection technique
Neural sequence chunkers
Divide and conquer algorithms on the hypercube
Sorts are nothing but functions: an equational approach to sorts for logic programming
Corolla partitioning for distributed logic simulation of VLSI circuits
Is partial order semantics necessary for action refinement?
Remarks on the abstract theory of additive and multiplicative Schwarz algorithms
Composition of spatial relations
Software-Retrieval-Systeme - übersicht und Kriterien zur Bewertung
Using connectionist networks for guiding the search of a theorem prover
Combining neural and evolutionary learning : aspects and approaches
Optimal parallel algorithms for computing recursively defined functions
Towards an optimal design of distributed file systems
The MAX system: a tutorial introduction
Qualitative spatial reasoning
ATLAS: a typed language for algebraic specification
Extrapolation, combination, and sparse grid techniques for elliptic boundary value problems
FHCL - functions in Horn Clause logic
Learning to generate focus trajectories for attentive vision
The TPTP problem library
Zentralisator und Normalisator quadratischer Polynome
Consistency checking of legal contracts using a temporal model
On the polynomial transparency of resolution
Development and implementation of a communication protocol: an exercise in FOCUS
Networks adjusting networks