yusuke1997/dblp-id-title huggingface dataset:
On the Hardness of Embeddings Between Two Finite Metrics
Asynchronous Distributed Automata: A Characterization of the Modal Mu-Fragment
On Eliminating Nondeterminism From Turing Machines Which Use Less Than Logarithmic Worktape Space
The Number of Symbol Comparisons in QuickSort and QuickSelect
A 0.51-Approximation of Maximum Matching in Sublinear n^{1.5} Time
Tight Lower Bounds for Multiplicative Weights Algorithmic Families
A Complete and Efficiently Computable Topological Classification of D-dimensional Linear Cellular Automata over Z m
How Efficient Can Gossip Be? (On the Cost of Resilient Information Exchange)
The Complexity of Restricted Minimum Spanning Tree Problems (Extended Abstract)
Proof Complexity Meets Algebra
Permanent Does Not Have Succinct Polynomial Size Arithmetic Circuits of Constant Depth
Leader Election by d Dimensional Cellular Automata
Facility Location in Evolving Metrics
Randomized Sliding Window Algorithms for Regular Languages
A Fast Randomized LOGSPACE Algorithm for Graph Connectivity
Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata
On the Expressiveness of Real and Integer Arithmetic Automata (Extended Abstract)
Online Network Design with Outliers
Brief Announcement: Characterizing Demand Graphs for (Fixed-Parameter) Shallow-Light Steiner Network
Non-Deterministic Polynomial Optimization Problems and Their Approximation
Brief Announcement: Zero-Knowledge Protocols for Search Problems
Tight Hardness Results for Maximum Weight Rectangles
Determinant Equivalence Test over Finite Fields and over Q
Computing Behavioural Relations, Logically
Discrete Generalised Polynomial Functors - (Extended Abstract)
A Robust AFPTAS for Online Bin Packing with Polynomial Migration,
Local Correctability of Expander Codes
Polynomial Time Algorithms for Branching Markov Decision Processes and Probabilistic Min(Max) Polynomial Bellman Equations
How to Navigate Through Obstacles?
Sampling-Based Proofs of Almost-Periodicity Results and Algorithmic Applications
Structural Recursive Definitions in Type Theory
Structure Preserving Transformations on Non-Left-Recursive Grammars (Preliminary Version)
The Power of Two Choices in Distributed Voting
Game Theoretic Analysis of Call-by-Value Computation
A Faster All-Pairs Shortest Path Algorithm for Real-Weighted Sparse Graphs
Improved Combinatorial Approximation Algorithms for the k-Level Facility Location Problem
A Complexity Theory of Efficient Parallel Algorithms (Extended Abstract)
Average-Case Complexity of Shellsort
The Wave Propagator Is Turing Computable
Distortion Is Fixed Parameter Tractable
The Complexity of Controlled Selection
Parikh-Bounded Languages
The Mondshein Sequence
A Tight Bound for EMAC
Fluted Logic with Counting
The Complexity of Finding Fair Many-To-One Matchings
Deterministic Priority Mean-Payoff Games as Limits of Discounted Games
Routing in Trees
The Iteration Number of Colour Refinement
Degree Distribution of the FKP Network Model
Composable Security in the Bounded-Quantum-Storage Model
Player-Centric Byzantine Agreement
Near-Linear Time Algorithm for n-fold ILPs via Color Coding
Optimally Sorting Evolving Data
The Impacts of Dimensionality, Diffusion, and Directedness on Intrinsic Cross-Model Simulation in Tile-Based Self-Assembly
Scheduling Periodic Tasks in a Hard Real-Time Environment
Brief Announcement: Hamming Distance Completeness and Sparse Matrix Multiplication
New Additive Approximations for Shortest Paths and Cycles
Alternation in Simple Devices
Weighted GKAT: Completeness and Complexity
Replacing Mark Bits with Randomness in Fibonacci Heaps
Decision Problems for Regular Trace Languages
Computing Exact Solutions of Consensus Halving and the Borsuk-Ulam Theorem
Twin-Width of Planar Graphs Is at Most 8, and at Most 6 When Bipartite Planar
On the Cost of Recomputing: Tight Bounds on Pebbling with Faults
Improved Parallel Computations with Matrices and Polynomials
Unsafe Grammars and Panic Automata
User-Defined Data Types as an Aid to Verifying LISP Programs
Bialgebraic Modelling of Timed Processes
On Solving (Non)commutative Weighted Edmonds' Problem
Derandomizing Random Walks in Undirected Graphs Using Locally Fair Exploration Strategies
On Dice and Coins: Models of Computation for Random Generation
On the Limitations of Greedy Mechanism Design for Truthful Combinatorial Auctions
Self-testing of Quantum Circuits
One Abstract Accepting Algorithm for all Kinds of Parsers
Single-Database Private Information Retrieval with Constant Communication Rate
Multilinear Pseudorandom Functions
Beating the Harmonic Lower Bound for Online Bin Packing
Sherali-Adams Relaxations for Valued CSPs
A Modal Characterization of Observational Congruence on Finite Terms of CCS
Emptiness of Zero Automata Is Decidable
Cutting and Partitioning a Graph aifter a Fixed Pattern (Extended Abstract)
Operational and Algebraic Semantics for Facile: A Symmetric Integration of Concurrent and Functional Programming
Load Thresholds for Cuckoo Hashing with Overlapping Blocks
Zeta Functions of Recognizable Languages
Discounting the Future in Systems Theory
Isolating Cuts, (Bi-)Submodularity, and Faster Algorithms for Connectivity
Bisimulation Equivalence is Decidable for One-Counter Processes
The Infinite Server Problem
Approximating Matches Made in Heaven
On the Strength of the Concatenated Hash Combiner When All the Hash Functions Are Weak
Ellipsoid Fitting up to a Constant
Subexponential Time Algorithms for Embedding H-Minor Free Graphs
Characterizing Correctness Properties of Parallel Programs Using Fixpoints
Dual Techniques for Scheduling on a Machine with Varying Speed
Scalable and Jointly Differentially Private Packing
The Use of Metasystem Transition in Theorem Proving and Program Optimization
Active Learning a Convex Body in Low Dimensions
Epsilon-Net Method for Optimizations over Separable States
Approximate Hamming Distance in a Stream
On the Limits of Decision: the Adjacent Fragment of First-Order Logic
A Near-Optimal Polynomial Distance Lemma over Boolean Slices
Towards Optimal Approximate Streaming Pattern Matching by Matching Multiple Patterns in Multiple Streams
Lower Bounds on Algebraic Random Access Machines (Extended Abstract)
Automata, Languages and Programming, 18th International Colloquium, ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings
Branch-And-Bound Algorithms as Polynomial-Time Approximation Schemes
Deciding DPDA Equivalence Is Primitive Recursive
Property Testing on k-Vertex-Connectivity of Graphs
Prefix Codes: Equiprobable Words, Unequal Letter Costs
Limited Set quantifiers over Countable Linear Orderings
The Nearest Common Ancestor in a Dynamic Tree
Minimum+1 (s, t)-cuts and Dual Edge Sensitivity Oracle
Faster Algorithms for Bounded Liveness in Graphs and Game Graphs
Maximum Bipartite Flow in Networks with Adaptive Channel Width
Privacy Preserving Clustering with Constraints
Learning a Hidden Subgraph
Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece, July 15-19, 1985, Proceedings
On the Space Usage of Approximate Distance Oracles with Sub-2 Stretch
Strong and Pareto Price of Anarchy in Congestion Games
Weighted Reordering Buffer Improved via Variants of Knapsack Covering Inequalities
Faster Dynamic (Δ+1)-Coloring Against Adaptive Adversaries
Bypassing Erdős' Girth Conjecture: Hybrid Stretch and Sourcewise Spanners
Hardness of Distinguishing the MSB or LSB of Secret Keys in Diffie-Hellman Schemes
Convergence Time to Nash Equilibria
Approximation by DNF: Examples and Counterexamples
On Sets Having Only Hard Subsets
From Finite State Communication Protocols to High-Level Message Sequence Charts
Breaking O(nr) for Matroid Intersection
Finite Models for Deterministic Propositional Dynamic Logic
Complexity Results for Multi-Pebble Automata and their Logics
Sensitivity of Counting Queries
Advances in Pebbling (Preliminary Version)
Proofs of Proximity for Context-Free Languages and Read-Once Branching Programs - (Extended Abstract)
Efficient Text Searching of Regular Expressions (Extended Abstract)
Spotting Trees with Few Leaves
Randomness-Efficient Non-Interactive Zero-Knowledge (Extended Abstract)
Proving termination with Multiset Orderings
Approximation Algorithms for Interdiction Problem with Packing Constraints
Optimal Static Fully Indexable Dictionaries
The Complexity of Three-Element Min-Sol and Conservative Min-Cost-Hom
Automata, Languages and Programming, Fourth Colloquium, University of Turku, Finland, July 18-22, 1977, Proceedings
Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I
Noise-Tolerant Testing of High Entanglement of Formation
A Multivariate to Bivariate Reduction for Noncommutative Rank and Related Results
Tell Me Where I Am So I Can Meet You Sooner
Asymptotically Optimal Bounds for OBDDs and the Solution of Some Basic OBDD Problems
Orbit-Finite Sets and Their Algorithms (Invited Talk)
Presburger Arithmetic, Rational Generating Functions, and Quasi-Polynomials
Timing Petri Nets Categorically
Tree Automata with One Memory, Set Constraints, and Ping-Pong Protocols
Uniform Elgot Iteration in Foundations
Exact and Approximate Bandwidth
The Minimum-Entropy Set Cover Problem
Thresholded Covering Algorithms for Robust and Max-min Optimization
O-Minimal Invariants for Linear Loops
On the Relation between Differential Privacy and Quantitative Information Flow
Edit Distance for Pushdown Automata
The Expressive Power of Clocks
Term Rewriting Systems: From Church-Rosser to Knuth-Bendix and Beyond
Names Trump Malice: Tiny Mobile Agents Can Tolerate Byzantine Failures
Coresets for Robust Clustering via Black-Box Reductions to Vanilla Case
The Existence and Efficient Construction of Large Independent Sets in General Random Intersection Graphs
Comparing Reductions to NP-Complete Sets
Function Matching: Algorithms, Applications, and a Lower Bound
Cliques in High-Dimensional Geometric Inhomogeneous Random Graphs
Proof Techniques for Cryptographic Protocols
Faster Algorithms for Integer Programs with Block Structure
Ordering Problems Approximated: Single-Processor Scheduling and Interval Graph Completion
Popular Matchings with One-Sided Bias
Fractals for Kernelization Lower Bounds, With an Application to Length-Bounded Cut Problems
Some Properties of D-Continuous Causal Nets
On the Central Levels Problem
Cryptographic Hardness Based on the Decoding of Reed-Solomon Codes
Brief Announcement: Towards an Abstract Model of User Retention Dynamics
The "Almost All" Theory of Subrecursive Degrees is Decidable
Efficient Communication Establishment in Adverse Communication Environments
Type Inference with Partial Types
The Geometry of Orthogonal Reduction Spaces
Routing (Un-) Splittable Flow in Games with Player-Specific Linear Latency Functions
Algorithmic Specifications of Abstract Data Types
Bistructures, Bidomains and Linear Logic
Clustering with Diversity
Meeting Deadlines: How Much Speed Suffices?
Optimal Fine-Grained Hardness of Approximation of Linear Equations
Approximation Algorithms for Envy-Free Cake Division with Connected Pieces
Robust Communication Complexity of Matching: EDCS Achieves 5/6 Approximation
Scheduling in the Random-Order Model
A "Fast Implementation" of a Multidimensional Storage into a Tree Storage
Entwicklung und Evaluierung einer Domänenspezifischen Sprache für SPS-Schrittketten
Transformationen zwischen UML-Use-Case-Diagrammen und tabellarischen Darstellungen
How Web 2.0 can Leverage Model Engineering in Practice
Bidirectional Synchronization of Multiple Views of Software Models
Towards Automated Testing of Abstract Syntax Specifications of Domain-Specific Modeling Languages
Proceedings of the Workshop on Domain-Specific Modeling Languages, Berlin, Germany, March 14, 2008
Using a Learner- and Teacher-Friendly Environment for Turing Machine Programming and Testing
CT2.0: A Collaborative Database of Examples for Teaching Informal Logic
A Logic Teaching Tool Based on Tableaux for Verification and Debugging of Algorithms
Systematic Errors as an Input for Teaching Logic
Using an Argument Ontology to Develop Pedagogical Tool Suites
The AProS Project: Teaching Logic to Business and Engineering Students
Teaching Argumentation Theory and Practice: The Case of 12 Angry Men
Logic in Action - An Open Logic Courseware Project
Adding a Dimension to Logic Diagramming
Satoulouse: The Computational Power of Propositional Logic Shown to Beginners
ORGANON: Learning Management System for Basic Logic Courses
Logic Training through Algorithmic Problem Solving
A Framework for Coping with Logically-Minded Arguments in Philosophy
The Many Rewards of Putting Absolutely Everything into Introductory Logic
Panda: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students
The SELL Project: A Learning Tool for E-Learning Logic
Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings
Information-Theoretic Perspective for Teaching Logic
Designing an Introductory Course to Elementary Symbolic Logic within the Blackboard E-learning Environment
Teaching Logic in Philosophy
Concrete Epistemic Modal Logic: Flatland
A Teaching Tool for Proving Equivalences between Logical Formulae
Logicamente: A Virtual Learning Environment for Logic Based on Learning Objects
Araucaria-PL: Software for Teaching Argumentation Theory
E-learning and Semantic Technologies: Tools and Concepts
Teaching Sound Principles about Invalidity
Mhy Bib I Fail Logic? Dyslexia in the Teaching of Logic
The Question of the Question in Critical Thinking?
Variables in Mathematics Education
Visual Tools for Teaching Propositional Logic
Ten Years of Computer-Based Tutors for Teaching Logic 2000-2010: Lessons Learned
A Quantitative Approach to Evaluating Reliability in Distributed Data Bases
Retrieval in an Environment for Faulty Texts or Faulty Queries
Active Database Management Systems
A Dynamic and Integrated Concurrency Control for Distributed Databases
A Rules System for a Relational Data Base Management System
QUEST: A High-Level Query Language for Network, Hierarchical, and Relational Databases
Locally Balanced Compact Trie Hashing
Linear Hashing with Groups of Reorganization: An Algorithms for Files without History
Design Aspects of the Query-by-Example Data Base Management Language
On Safety, Domain Independence, and Capturability of Database Queries (Preliminary Report)
An Effective Method for Storing and Retrieving Prolog Clauses from a Relational Database
An Execution Model for Active Data Base Management Systems
FUGUE: A Model for Engineering Information Systems and Other Baroque Applications
ARMS: An Assumption-Based Reasoning Tool in a Logic Programming Environment
Selection of Processing Strategies for Different Recursive Queries
GRAS, A Management System for Graph-Like Documents
Event Driven Protection for Enhancing Data Sharing in Data Base Systems
R*: An Overview of the Architecture
Database Consistency and Integrity in a Multi-User Environment
LAGRIF: A Pictorial Non-Programmer-Oriented Request Language for a Relational Data Base Management System
Non-Deterministic Choice in Datalog
A Decentralized Control Method for Concurrent Processes in a Distributed System
Dynamic Multipaging: A Storage Structure for Large Shared Data Banks
On the Coupling of a Production System Shell and a DBMS
Proceedings of the Second International Conference on Databases: Improving Database Usability and Responsiveness, June 22-24, 1982, Jerusalem, Israel
Updates to Relational Databases Through Views Involving Joins
Modelling CAD-Objects by Abstraction
How About Recently? (English Dialog with Relational Data Bases Using Rendevous Version 1)
Proceedings of the International Conference on Databases: Improving Usability and Responiveness, August 2-3, 1978, Technion, Haifa, Israel
On the Unambiguous Use of Names in Data Base Design
An External Schema Facility to Support Data Base Update
Datalog Automata
A Biased Non-Two-Phase Locking Protocol
An Authorization Mechanism for a Data Base
Transaction Control Mechanism for the Object Cache Interface of R²D²
A Study of Three Database Query Languages
Comparison of Different Access Strategies in a Distributed Database
The Event Database Specifications Model
Operations on Families of Sets for Exhaustive Search, Given a Monotonic Function
An Implementation of Foral Using IDMS
Video-Graphic Query Facility
Two-Level Transaction Management In A Multiprocessor Database Machine
Differential Fixpoint Methods and Stratification of Logic Programs
Multistage Data Definition in a Multicomponent DBMS Architecture
Incorporating Data Types in an Extensible Database Architecture
Minisequel - Relational Data Management System
Type Concepts for Database Definition
The Extended Relational Algebra, a Basis for Query Languages
Storage Allocation for Access Path Minimization in Network Structured Data Bases
One-Directional Recursive Formulas
The Computer Assisted Query Language (CAQL) System for a Variety of Enterprise Units
Representing Data Bases in Segmented Name Spaces
Embedding Psi-Terms in a Horn-Clause Logic Language
Supporting Concurrent Acces to Facts in Logic Programs
CALIDA: A System for Integrated Retrieval from Multiple Heterogeneous Databases
Experience with the Domain Algebra
Design and Performance Tools for Improving Database Usability and Responsiveness
A Prolog-Relational DBMS Interface Using Delayed Evaluation
Achieving Data Base Integrity by Distributed Processing of Data Dynamics
Proceedings of the Third International Conference on Data and Knowledge Bases: Improving Usability and Responsiveness, June 28-30, 1988, Jerusalem, Israel
Special Hardware for the Support of File Management and Query Functions
An Airtravel Expert Database
Performance Consideration in Relational Data Base Design
Multiprocessor Join Algorithms of Relations
BIPS: A Layered Predicative Query Language for a DBTG Database System
The Connection of Static Constraints with Determinism and Boundedness of Dynamic Specifications
Compilation of Relational Queries into CODASYL DML
A Natural Forms Query Language - An Introduction to Basic Retrieval and Update Operations
Parallelism and Data Management
Prolog-DBMS Coupling: A Hybrid Approach, Half interpreted, Half Compiled
Modeling Time at the Conceptual Level
An Application Program Interface for a Complex Object Database
Design Considerations for a Prolog Database Engine
Observability of the Mind: The Methodological Inspiration Provided by Chess for Digitalizing Decision-Making Processes
How to Convert Skills of Masters to Explicit Knowledge Through The Use of ICT : In the case of reparing dent in a car
Gesture-based computer mouse using Kinect sensor
Different learning predictors and their effects for Moodle Machine Learning models
iDTV user interface for elderly users based on simplified navigation scheme
Psychotherapy in interaction with Technology : Proposal of a new investigation area for CogInfoCom
Practical aspects of visual recognition for indoor mobile positioning
Towards modeling fuzzy propagation for sentiment analysis in online social networks: A case study on TweetScope
EEG correlates of speech: Examination of event related potentials elicited by phoneme classes
Automatic phrase segmentation and clustering in spontaneous speech
Virtual reconstruction of a medieval church
Cognitive and spiritual revolution of the tenth century - Constantine porphyrogenitus and his hidden world: Part II. The Great Monarch's hidden world in the great medieval artistic works
On a Model of the First National Theater of Hungary in MaxWhere
Development and customization of individualized mobile healthcare applications
The three hidden pillars of the world: On the unconscious synchronistic "cognitive cooperation" of C.G. Jung, W. Pauli and C. Kerényi Part II: On the late collaborations of the three great minds (1954-57)
Denormalized quantum density operators for encoding semantic uncertainty in cognitive agents
Trends in the Adoption of VR Technologies for Online Conferences
Review of open source computing devices for iSpace in production workshops
CFD aided cognitive capabilities for analyzing snowdrift development around a porous fence
Emotional faces of children and adults: What changes in their perception
Towards biofeedback-controlled self-rewarding learning with mobile devices
Hand Tracking in Fire Safety - Electric Cabin Fire Simulation
Reprobooktor: A concept of audiobook player for visually impaired older adults
Digital manufacturing toolbox for supporting the manufacturing SMEs
An Entropy-Based Approach to Automatic Detection of Critical Changes in Human-Machine Interaction
Synchrony in Human-Bonobo Dialog
First year students' attitude to computer problem solving
Reaction time for two types of semantically related gesture and sentence pairs
Experimental results of evolving Takagi - Sugeno fuzzy models for a nonlinear benchmark
Can we detect speakers' empathy?: A real-life case study
Cognitive Control initiative
Deep Learning-Based Blood Pressure Measurement on a Low-Power Microcontroller
How to develop serious games for social and cognitive competence of children with learning difficulties
Proposing a System to Supporting for Kitchen Knife Skill Improvement using Acceleration Sensor
Application of the NAO humanoid robot in the treatment of marrow-transplanted children
Presentation of the Church of Zelemér in the Virtual Collaboration Arena (VirCA)
Experimenting with classifiers in biofeedback-based mental effort measurement
Extracting State Machines from Feedforward Neural Networks
Estimation of emotional states enhanced by a priori knowledge
Connection between body condition and speech parameters - especially in the case of hypoxia
Better Memory Performance for Images in MaxWhere 3D VR Space than in Website
The role of discourse markers in the generation and interpretation of discourse structure and coherence
Framework for smart city applications based on participatory sensing
Establish innovative learning environment by virtual lab concept: An exploratory research in higher education
Virtual reality systems in the rehabilitation of Parkinson's disease
Utilizing point cloud data in the cognitive car navigation
Mobile applications for traffic safety
Self-adjusting method for efficient GPS tracklog compression
Cognitive telemedicine IoT technology for dynamically adaptive eHealth content management reference framework embedded in cloud architecture
A reverse logistics network design model for sustainable treatment of multi-sourced Waste of Electrical and Electronic Equipment (WEEE)
Training of business skills in virtual reality
Detecting and processing objects using radio waves and opto-electrical methods
Examination of eye-hand coordination using computer mouse and hand tracking cursor control
Articulation correctness measurement of Parkinson's disease using low resource-intensitve segmentation methods
Novel speech features of disturbances in laryngeal muscle coordination
Aggression or Aggressiveness? : A research hypothesis on aggression, videogames and executive functions in preschool age
Shape optimization of atmospheric icing sensor using cognitive computer aided approach
Reduced information scenario for Shared Segment Protection
Prosodic forms and pragmatic meanings: The case of the discourse marker 'no' in Slovak
The spontaneous order of creativity Brain, complexity and evolution
A scheduling approach for ship design project with fields constraint in tasks and human resources
Classification of Cow's Behavior during Grasing by AI
SuSy: Surveillance system for hospitals
Use of 3D VR environment for educational administration efficiency purposes
Encountering the Cognitive and Noetic Endeavors of Macedon Renaissance : Part IV: Pictures of Clemens and Constantine VII on the Coronation Mandle (Royal Casula) and Holy Crown of St Stephen of Hungary. Revisiting the Phanes Symbolism
Cognitive strategies of growth vs. excellence at European universities
Multipath strategies and solutions in multihomed mobile environments
Cognitive trainings can improve intercommunication with e-learning system