yusuke1997/dblp-id-title huggingface dataset:
SR(s, k) Parsers: A Class of Shift-Reduce Bounded-Context Parsers
The Relative Complexity of NP Search Problems
Quasi-isometric reductions between infinite strings
Performance modelling of Event-Condition-Action rules in P2P networks
On the Geometry of Optimal Strategies in Two-Person Games of Kind
Reductions in Circuit Complexity: An Isomorphism Theorem and a Gap Theorem
Many-visits TSP revisited
Vector and scalar reachability problems in SL(2, Z)
Characterisations of multivalued dependency implication over undetermined universes
Use of information, memory and randomization in asynchronous gathering
Invariant Imbedding, Difference Equations, and Elliptic Boundary Value Problems
The Reduction of Tape Reversals for Off-Line One-Tape Turing Machines
Towards dynamic real-time scheduling for multiple earth observation satellites
On the profits of competing cloud service providers: A game theoretic approach
Calculi for symmetric queries
On the Complexity of LL(k) Testing
Lower Bounds to Randomized Algorithms for Graph Properties
XML with data values: typechecking revisited
Bounded repairability of word languages
Decision Problems for Node Label Controlled Graph Grammars
The Average Height of Binary Trees and Other Simple Trees
On the Structural Properties of the Set of Fixpoints for Nondeterministic Recursive Definitions
A polytope-based approach to measure the impact of events against critical infrastructures
Spatially-decaying aggregation over a network
Dynamic conjunctive queries
Interval-valued fuzzy permutation method and experimental analysis on cardinal and ordinal evaluations
Approximately counting locally-optimal structures
Closures which Preserve Finiteness in Families of Languages
Security-aware optimization for ubiquitous computing systems with SEAT graph approach
Stationary Points of Functionals in Pre-Hilbert Spaces
IO and OI. I
Computable Stack Functions for Semantics of Stack Programs
Descriptive complexity of #P functions: A new perspective
Two-way A-Transducers and AFL
Tight approximability results for test set problems in bioinformatics
The Equivalence Problem for Deterministic Two-Tape Automata
The Concect of Effective Method Applied to Computational Problems of Linear Algebra
Bistable Versions of the Marriages and Roommates Problems
Design by Example: An Application of Armstrong Relations
Simultaneous matchings: Hardness and approximation
Algebraic Specification of Modules and Their Basic Interconnections
Acyclic Join Dependency and Data Base Projections
A Characterization of Time Complexity by Simple Loop Programs
Strong bounds for evolution in networks
Finding a largest rectangle inside a digital object and rectangularization
On the data complexity of consistent query answering over graph databases
Closure properties of pattern languages
Efficient algorithms for online decision problems
O n is an n -MCFL
Scalability issues in optimal assignment for carpooling
Comparison of Functional and Predicative Query Paradigms
A probabilistic model of computing with words
Attribute grammars for unranked trees as a query language for structured documents
Discrete-Time versus Continuous-Time Models of Neural Networks
Techniques for Separating Space Complexity Classes
Breaking the Theta (n log² n) Barrier for Sorting with Faults
Computational complexity of auditing finite attributes in statistical databases
Un Théorème de Duplication pour les Forêts Algébriques
Bounding clique-width via perfect graphs
Artificial life techniques for load balancing in computational grids
An Optimal Solution to a Wire-Routing Problem
Parsimonious flooding in geometric random-walks
Two Lower Bounds in Asynchronous Distributed Computation
Some Bounds on the Complexity of Predicate Recognition by Finite Automata
One-time packet key exchange scheme for secure real-time multimedia applications
Efficiently enumerating hitting sets of hypergraphs arising in data profiling
Tree Pushdown Automata
An analysis of model-based Interval Estimation for Markov Decision Processes
Decision Tree Complexity and Betti Numbers
On ACTL Formulas Having Linear Counterexamples
Error-bounded probabilistic computations between MA and AM
On Uniform Circuit Complexity
Robust Learning Is Rich
FPT algorithms and kernels for the Directed k-Leaf problem
Symmetries and the complexity of pure Nash equilibrium
An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints
Some Observations on NP, Real Numbers and P-Selective Sets
The Existence and Construction of Free Iterative Theories
Syntax Directed Translations and the Pushdown Assembler
Trace semantics via determinization
Axiomatizing Schemes and Their Behaviors
Special issue on cybersecurity in the critical infrastructure: Advances and future directions
On computing optimal temporal branchings and spanning subgraphs
Tree Adjunct Grammars
Unshuffling a square is NP-hard
Resource recommendation in social annotation systems: A linear-weighted hybrid approach
On the transformation capability of feasible mechanisms for programmable matter
Connection caching: model and algorithms
Nominal syntax with atom substitutions
Algebraic Dependencies
Broadcast encryption based non-interactive key distribution in MANETs
On the Sequential Nature of Functions
Positive Relativizations of the P = ? NP Problem
Data Graphs and Addressing Schemes
Dichotomy for voting systems
The Bounded Degree Problem for NLC Grammars is Decidable
Degrees of Computational Complexity
Algebraic Theory of Finite Fourier Transforms
The Complexity of Reasoning about Knowledge and Time. I. Lower Bounds
Optimisation, security, privacy and trust in e-business systems
A structural/temporal query language for Business Processes
Substitution Expressions
d-k-min-wise independent family of hash functions
Power and performance management for parallel computations in clouds and data centers
Natural State Transformations
Polynomially ambiguous probabilistic automata on restricted languages
Belief Revision and Update: Complexity of Model Checking
The Discovery of Algorithmic Probability
Index sets and universal numberings
Finite Automata, Definable Sets, and Regular Expressions over omega^n-Tapes
Non First Normal Form Relations: An Algebra Allowing Data Restructuring
Cônes rationnels commutatifs
IO and OI. II
Positive Dedalus programs tolerate non-causality
Reporting and Counting Segment Intersections
Interdependent Translation Schemes
On relations between counting communication complexity classes
Exploiting user metadata for energy-aware node allocation in a cloud storage system
Two-dimensional substring indexing
Hardness amplification within NP against deterministic algorithms
Testing Containment of Conjunctive Queries under Functional and Inclusion Dependencies
On Computing Decision Regions with Neural Nets
Time-Restricted Sequence Generation
Approximation algorithms for classes of graphs excluding single-crossing graphs as minors
On the parameterized complexity of interval scheduling with eligible machine sets
On Iterative and Cellular Tree Arrays
A complete parameterized complexity analysis of bounded planning
Inductively Defined Functions in Functional Programming Languages
Completeness results for graph isomorphism
Approximating the Bandwidth via Volume Respecting Embeddings
On simplification of schema mappings
The temporal explorer who returns to the base
Consistency checking and querying in probabilistic databases under integrity constraints
Block trees
Descriptive complexity of deterministic polylogarithmic time and space
On Infinite-Dimensional Convex Programs
Near-optimal hardness results and approximation algorithms for edge-disjoint paths and related problems
Holistic analysis of asynchronous real-time transactions with earliest deadline scheduling
A kernelization algorithm for d-Hitting Set
Workload correlations in multi-processor hard real-time systems
On the generalization error of fixed combinations of classifiers
A Characterization of Weakest Preconditions
Optimal redundancy in computations from random oracles
A Dichotomy Theorem for Maximum Generalized Satisfiability Problems
C-Grammars and Tree-Codifications
A complete and equal computational complexity classification of compaction and retraction to all graphs with at most four vertices and some general results
A tentative commit protocol for composite web services
Approximation algorithms for the Weighted t-Uniform Sparsest Cut and some other graph partitioning problems
The complexity of weighted counting for acyclic conjunctive queries
Probabilistic Aspects of Machine Decomposition Theory
Beyond Max-Cut: λ-extendible properties parameterized above the Poljak-Turzík bound
Geographic spatiotemporal big data correlation analysis via the Hilbert-Huang transformation
Probabilistic Quantifiers and Games
Sparse Complex Polynomials and Polynomial Reducibility
A multi-criteria job scheduling framework for large computing farms
On k-Dimensional Balanced Binary Trees
On P-Immunity of Exponential Time Complete Sets
Proving SAT does not have small circuits with an application to the two queries problem
Single-source shortest paths and strong connectivity in dynamic planar graphs
Relational presheaves, change of base and weak simulation
A Technique for Decomposing Algorithms Which Use a Single Shared Variable
Kernels for feedback arc set in tournaments
Coloring temporal graphs
Strong Nondeterministic Turing Reduction - A Technique for Proving Intractability
Palindrome Recognition in Real Time by a Multitape Turing Machine
B-Trees with Inserts and Deletes: Why Free-at-Empty Is Better Than Merge-at-Half
Nonexistence of Program Optimizers in Several Abstract Settings
Augmented Loop Languages and Classes of Computables Functions
Structural sparsity of complex networks: Bounded expansion in random models and real-world graphs
Learnability of automatic classes
A Time-Luck Tradeoff in Relativized Cryptography
A Complete Rule for Equifair Termination
A Note on the Two-Variable Pattern-Finding Problem
Counting lattice vectors
Using tuple-spaces to manage the storage and dissemination of spatial-temporal content
A Complete Inference System for a Class of Regular Behaviours
Regular Languages in NC¹
Limiting Shapes for Configurations
Minimum Times and Memories Needed to Compute the Values of a Function
Visualizing and fuzzy filtering for discovering temporal trajectories of association rules
Refined Complexity Analysis for Heap Operations
The Interconnection Problem
Positional Simulation of Two-Way Automata: Proof of a Conjecture of R. Kannan and Generalizations
Prism: An effective approach for frequent sequence mining via prime-block encoding
Undecidability of the speed positiveness problem in reversible and complete Turing machines
Network verification via routing table queries
Planar Separators and Parallel Polygon Triangulation
Special Issue on Multidisciplinary Emerging Networks and Systems
Complexity of suffix-free regular languages
Some Definitional Suggestions for Automata Theory
Coproducts and Decomposable Machines
Probabilistic automata for computing with words
General Context-Free Recognition in Less than Cubic Time
Network Structure and the Firing Squad Synchronization Problem
Automatic mobility status estimation in wireless self-organised networks
Random sampling and approximation of MAX-CSPs
Branching synchronization grammars with nested tables
Control of queueing delay in a buffer with time-varying arrival rate
Distance Realization Problems with Applications to Internet Tomography
Drawing a tree as a minimum spanning tree approximation
On the Structure of Derivations in Deterministic ET0L Systems
A collaborative scheduling approach for service-driven scientific workflow execution
About the Paterson-Wegman Linear Unification Algorithm
Building a fault tolerant framework with deadline guarantee in big data stream computing environments
Automata on linear orderings
Dual domination problems in graphs
Special issue: Scientific workflow 2009
Program Schemata and the First-Order Decision Problem
Approximating the Tutte polynomial of a binary matroid and other related combinatorial polynomials
TSP with bounded metrics
Weighted L ∞ isotonic regression
Space-Bounded Quantum Complexity
An innovative approach for automatically grading spelling in essays using rubric-based scoring
Interactions between Dependencies and Nested Relational Structures
A maximum clique based approximation algorithm for wireless link scheduling under SINR model
Efficient algorithms for the round-trip 1-center and 1-median problems
The Complexity of Finding a Second Hmiltonian Cycle in Cubic Graphs
A Homomorphism Theorem for Weighted Context-Free Grammars
The Intrinsic Complexity of Language Identification
Range-max queries on uncertain data
Implementing the Omega failure detector in the crash-recovery failure model
Load Sharing with Parallel Priority Queues
On the Algebraic Atructure of Rooted Trees
Enumerating homomorphisms
On expected constant-round protocols for Byzantine agreement
Independence of the Equational Axioms for Iteration Theories
Universal Classes of Hash Functions
Control complexity in Bucklin and fallback voting: An experimental analysis
Kernel-LEAF: A Logic plus Functional Language
On certain connectivity properties of the internet topology
Special issue of JCSS on UbiSafe computing and communications
Effective computation of immersion obstructions for unions of graph classes
Erratum: A Generalized Approach to Formal Languages
Time-Bounded Grammars and Their Languages
Logical Description of Contex-Free Graph Languages
On the learnability of vector spaces
On Search, Decision, and the Efficiency of Polynomial-Time Algorithms
Measures of Nondeterminism for Pushdown Automata
On the connectivity preserving minimum cut problem
Descriptive Characterizations of Computational Complexity
The complexity of reachability in parametric Markov decision processes
Developing an optimized application hosting framework in Clouds
Online promise problems with online width metrics
On Isomorphism Testing of a Class of 2-Nilpotent Groups
Another Look at Parameterization for Order-Sorted Algebraic Specifications
Tape-Bounded Turing Acceptors and Principal AFLs
Effective Noether Irreducibility Forms and Applications
Superconcentrators of Depth 2
On Finite-Precision Representations of Geometric Objects
Behavior of a Class of Nonlinear Discrete-Time Systems
A privacy preserving authorisation system for the cloud
Teaching a Smarter Learner
The Complexity of Selection and Ranking in X+Y and Matrices with Sorted Columns
Characterizations of Some Tape and Time Complexity Classes of Turing Machines in Terms of Multihead and Auxiliary Stack Automata
A simple reduction of non-uniformity in dynamic load balancing of quantized loads on hypercube multiprocessors and hiding balancing overheads
Control Sets of Context-Free Grammar Forms
Expand, Enlarge and Check: New algorithms for the coverability problem of WSTS
Automata for XML - A survey
Case-factor diagrams for structured probabilistic modeling
Making the interval membership width of temporal graphs connected and bidirectional
Magic Sets and their application to data integration
A survey of stochastic ω-regular games
On Weak Learning
Algebraic Solutions to Recursion Schemes
Collision-free network exploration
On the Algebra of Order
Every ternary permutation constraint satisfaction problem parameterized above average has a kernel with a quadratic number of variables
B-Fairness and Structural B-Fairness in Petri Net Models of Concurrent Systems
Multi-dimensional criteria for testing web services transactions
Errors in graph embedding algorithms
Generic case completeness
A feature construction approach for genetic iterative rule learning algorithm
Probabilistic and team PFIN-type learning: General properties
A Polynomial-Time Parsing Algorithm for K-Depth Languages
TOG: A Model for Innovation-Centric Design in Games and Expressive Interactive Media
Infrastructures of Play: Labor, Materiality, and Videogame Education
Noita: A Long Journey of a Game Idea
A Research-Based Approach to Game Writing Pedagogy
Reconciling Csikszentmihalyi's Broader Flow Theory: With Meaning and Value in Digital Games
Free-to-Play or Pay-to-Win? Casual, Hardcore, and Hearthstone
Game Design in an Internet of Things
Zinecraft: Zines as Companions to Games Research
Approaching FromSoftware's Souls Games as Myth
Putting the Cybermedia Model Into Educational Practice: Expanding the Framework
Teoría del monstruo y game studies: un estudio de caso de The Witcher 3: Wild Hunt
Video Games and Slavery
La Correlación Directa de la Gestión y Transferencias del Conocimiento Mediada por la Investigación Aplicada en la Formación de Perfiles de Alta Cualificación en el Campo de los Videojuegos
Introduction: Exploring Nordic Game Research
The Fictional Incompleteness of Digital Gameworlds
Horizon Zero Dawn: The Educational Influence of Video Games in Counteracting Gender Stereotypes
"That's not a secure area"- physical-digital sound links in commercial locative games
Introduction to British DiGRA issue
La supradiégesis Musical en el Sistema de Combate de los JRPG
Source Code and Formal Analysis: A Reading of Passage
"Blackout!" Unpacking the Black Box of the Game Event
We Are All Fishes Now: DiGRA, Feminism, and GamerGate
"Ruinensehnsucht": Longing for Decay in Computer Games
Seyyed of Cyrus the Great: Iran's Confused Nationalism in Games
The Paradigm of Game System Building
Adolescents as Game Designers: Developing New Literacies
Hardware design and representation of graphics in videogames: A case study: the Sega Saturn
The Mobile Suit Gundam Franchise: A Case Study of Transmedia Storytelling Practices and Ludo Mix in Japan
Introduction to the Special Issue: The Game is the Message, Selected Articles from the 2018 International DIGRA Conference
Introduction to the DiGRA Spain Special Issues
Player Types: A Meta-synthesis
On Chairing a Games Research Conference
Is Pokémon GO Feminist? An Actor-Network Theory Analysis
Scarcity and Survival Horror: Trade as an Instrument of Terror in Pathologic
ToDIGRA Diversity Workshop Special Issue: Introduction
Conceptualising Inspiration Networks in Game Design
Should I stay or should I go? A Study of Pickup Groups in Left 4 Dead 2
Narrative Depiction of Suicide in Horror Video Games
Explorando el Patrimonio Cultural e Histórico a Través de Juegos Serios: Un Modelo Para Integrar Competencias de Aprendizaje
A Review of Social Features in Social Network Games
Digital Materialities and Family Practices: The Gendered, Practical, Aesthetical and Technological Domestication of Play
Endure, Join Them, or Leave?: Suffering Women in Mobile Game Advertising
Acercamiento a las eras de la historia del juego de mesa en España: Siglo XX
The Musical Ludo Mix of Taiko no Tatsujin
Interpassivity and the Joy of Delegated Play in Idle Games
Game Designers and the Ludo Mix: Constructing an Aesthetic Experience
Postdigital Interfaces and the Aesthetics of Recruitment
1001 Followers in 20 Days: Framing the Playful Use of Fame-Enhancing Bots in Instagram
Are Loot Boxes Gambling? Random Reward Mechanisms in Video Games
Revisión de los Game Studies desde la estética del formalismo y el romanticismo
Effects of Mobile Platform on Female Engagement in MOBA Games
Sound Similarity as a Tool for Understanding Player Experience: Applying Similarity Matrix to Gameplay Performance Segmentation
The Role of Gaming Platforms in Young Males' Trajectories of Technical Expertise
The Game Weavers: A Feminist Approach to Game Writing
Collegiate Esports as Learning Ecologies: Investigating Collaboration, Reflection and Cognition During Competitions
Understanding Space in Videogames: Methodological Contributions from Archaeogaming and Geofiction
Character-Driven Narratives in D&D5E and Fate: Core System
Editors' Introduction to the Special Issue
A pure meritocracy blind to identity: Exploring the Online Responses to All-Female Esports Teams in Reddit
Pyro Studios: Un Ensayo Sobre el Exito y Posterior Caída del Estudio Detrás de Commandos
Tokimeki Memorial Girl's Side: Enacting femininity to avoid dying alone
Mafia and the representation of Italians
From the board to the streets: a case study of Local Property Trader
Orientations in Queer Game Studies
Educating Interactive Narrative Designers: Cornerstones of a Program
Affect, Responsibility, and How Modes of Engagement Shape the Experience of Videogames
Game Studies: Miradas desde la Historia del Arte
Character Diversity in Digital and Non-Digital Games
British Digital Game Studies
Characters in Fire Emblem Three Houses: A Ludo Mix Perspective
Building Material: Exploring Playfulness of 3D Printers
DiGRA Chapter Diversity
Facilitating Diversity-Centred Adult Computing Education
The Contribution of Branded Games for the LEGO Ninjago Brand Narrative
The "Room" in Text Adventure Games and Analysis of Real Geographical Locations in Aventuras AD Games
Computer Gameplay and the Aesthetic Practices of the Self: Game Studies and the Late Work of Michel Foucault
Focus, Sensitivity, Judgement, Action: Four Lenses for Designing Morally Engaging Games
Introduction to the DiGRA Mexico Special Issue
A Practical Guide to Using Digital Games as an Experiment Stimulus
Heritage Destruction and Videogames: Ethical Challenges of the Representation of Cultural Heritage
Worldfulness, Role-enrichment & Moving Rituals: Design Ideas for CRPGs
Homo Includens: Surveying DiGRA's Diversity
The Roll of the Dice in Warhammer 40, 000
How Players Speak to an Intelligent Game Character Using Natural Language Messages
Are You Out of Your Mind? Focalization in Digital Games
Gamemasters of the Playground: Exploring Children's Leadership Roles when Programming Hybrid Digital-Physical Outdoor Playground Equipment
Una mirada a la Oscuridad: La Estética Ludoficcional desde la Dificultad No-Mecánica
In Defence of a Magic Circle: The Social, Mental and Cultural Boundaries of Play
The Street Fighter Lady: Invisibility and Gender in Game Composition
Introduction: What 'is' Australian Game Studies?
Finding a Way: Techniques to Avoid Schema Tension in Narrative Design
Made in Spain: La "No Historia" de las Consolas Españolas
Towards a "Filipino" Video Game: Teaching Filipino Culture and Identity for Video Game Development
Game Design Lineages: Minecraft's Inventory
El Impacto del Español en la Industria del Videojuego: Análisis de las Publicaciones en Steam de los Países Hispanohablantes en 2015-2016 y 2020-2021
The Market of Identity: A Review on Video Games and Identity Works
A Structural Model for Player-Characters as Semiotic Constructs
Embracing Global and Local: How Game Industry Expatriates Work Between Global and Local Game Development Practices
SimCity and the Creative Class: Place, Urban Planning and the Pursuit of Happiness
No-one Plays Alone
Narrativa y Gameplay en Abyme en Firewatch
Ways of Being: Pervasive Game Design Ethos in Urban Codemakers
What is Strafe Jumping? idTech3 and the Game Engine as Software Platform
Remembering & Exhibiting Games Past: The Popular Memory Archive
Exhibition Strategies for Videogames in Art Institutions: Blank Arcade 2016
'Thinking Through' Games in the Classroom: Using Discursive Game Design to Play and Engage with Historical Datasets
The Representation of Alzheimer's in Serious Games: Inner Ashes Video Game Case Study
On Interdisciplinary Embraces in Game Studies
A Postdisciplinary Posture on Games
The Case for Computer-Augmented Games
Traumatic, Spectacular Prologues: AAA Players as Ethical Witnesses
The Ludo Mix and the Loss of In-Game Narrative: A Case Study of the Final Fantasy XV Universe
Creative-Rational Tensions in Game Development: A Danish Case Study on Team Collaboration
Effective statistical-based and dynamic fingerprint preprocessing technique
Two-tiered face verification with low-memory footprint for mobile devices
BioHDD: a dataset for studying biometric identification on heavily degraded data
Improved average of synthetic exact filters for precise eye localisation under realistic conditions
3D landmark-based face restoration for recognition using variational autoencoder and triplet loss
Cadaver identification with dental radiographs using isoperimetric and nodal graph approach
Fingerprint image super resolution using sparse representation with ridge pattern prior by classification coupled dictionaries