yusuke1997/dblp-id-title huggingface dataset:
Truthfulness and Approximation with Value-Maximizing Bidders
On the Existence of Optimal Taxes for Network Congestion Games with Heterogeneous Users
Finding Fair and Efficient Allocations When Valuations Don't Add Up
Revenue Maximization for Market Intermediation with Correlated Priors
Responsive Lotteries
A New Lower Bound for Deterministic Truthful Scheduling
Modified Schelling Games
Non-cooperative Cost Sharing Games Via Subsidies
Asymptotically Optimal Communication in Simple Mechanisms
Shared Resource Management via Reward Schemes
On Popular Random Assignments
Self-stabilizing Uncoupled Dynamics
Efficiency of Equilibria in Games with Random Payoffs
The Stable Roommates Problem with Short Lists
Justifying Groups in Multiwinner Approval Voting
Game Theory on the Blockchain: A Model for Games with Smart Contracts
Budget Feasible Mechanisms for Procurement Auctions with Divisible Agents
Coreness of Cooperative Games with Truncated Submodular Profit Functions
Nash Equilibria and the Price of Anarchy for Flows over Time
Single-Peaked Jump Schelling Games
Better with Byzantine: Manipulation-Optimal Mechanisms
Algorithmic Game Theory, First International Symposium, SAGT 2008, Paderborn, Germany, April 30-May 2, 2008. Proceedings
Resource Based Cooperative Games: Optimization, Fairness and Stability
Welfare Guarantees for Proportional Allocations
Stable Marriage with Covering Constraints-A Complete Computational Trichotomy
Decentralizing Information Technology: The Advent of Resource Based Systems
On the Existence of Nash Equilibrium in Games with Resource-Bounded Players
Price of Anarchy in Paving Matroid Congestion Games
On the Inefficiency of Equilibria in Linear Bottleneck Congestion Games
Network Cost-Sharing without Anonymity
A Hashing Power Allocation Game in Cryptocurrencies
Algorithmic Game Theory - 10th International Symposium, SAGT 2017, L'Aquila, Italy, September 12-14, 2017, Proceedings
Descending the Stable Matching Lattice: How Many Strategic Agents Are Required to Turn Pessimality to Optimality?
Improved Lower Bounds on the Price of Stability of Undirected Network Design Games
Fair Algorithm Design: Fair and Efficacious Machine Scheduling
On Nash-Equilibria of Approximation-Stable Games
On the Price of Stability of Social Distance Games
Designing Cost-Sharing Methods for Bayesian Games
How Bad is the Merger Paradox?
Matrix Rationalization via Partial Orders
Strategic Pricing in Next-Hop Routing with Elastic Demands
Two Birds with One Stone: Fairness and Welfare via Transfers
Earning Limits in Fisher Markets with Spending-Constraint Utilities
Calibrated Recommendations for Users with Decaying Attention
Coordination Mechanisms on Unrelated Machines with Arbitrary Priority Lists
When Dividing Mixed Manna Is Easier Than Dividing Goods: Competitive Equilibria with a Constant Number of Chores
On the Effect of Time Preferences on the Price of Anarchy
Simultaneous Contests with Equal Sharing Allocation of Prizes: Computational Complexity and Price of Anarchy
Repeated Budgeted Second Price Ad Auction
Unsolvability and Beyond in Many-to-Many Non-bipartite Stable Matching
The Cost of Stability in Coalitional Games
Diffusion in Social Networks with Competing Products
Course Allocation with Credits via Stable Matching
Further Results on Capacitated Network Design Games
Paths to Stable Allocations
k-Times Bin Packing and its Application to Fair Electricity Distribution
Mixed Nash Equilibria in Discrete Tullock Contests
Duality in Market Design
Arbitrary Profit Sharing in Federated Learning Utility Games
Games with Congestion-Averse Utilities
A Common Generalization of Budget Games and Congestion Games
On the Efficiency of Markets with Two-Sided Proportional Allocation Mechanisms
Stochastic Matching on Uniformly Sparse Graphs
Stable Marriage and Roommates Problems with Restricted Edges: Complexity and Approximability
Robustness of Participatory Budgeting Outcomes: Complexity and Experiments
Stable Marriage with General Preferences - Extended Abstract
Truthful Fair Division
The Online Best Reply Algorithm for Resource Allocation Problems
The Combinatorial World (of Auctions) According to GARP
The Influence of Link Restrictions on (Random) Selfish Routing
Cost-Sharing Scheduling Games on Restricted Unrelated Machines
Prediction and Welfare in Ad Auctions
Deciding Maxmin Reachability in Half-Blind Stochastic Games
Algorithmic Signaling of Features in Auction Design
The Price of Stochastic Anarchy
Prior-Free Clock Auctions for Bidders with Interdependent Values
Algorithmic Game Theory - 8th International Symposium, SAGT 2015, Saarbrücken, Germany, September 28-30, 2015, Proceedings
PPAD-Complete Pure Approximate Nash Equilibria in Lipschitz Games
Obvious Strategyproofness, Bounded Rationality and Approximation - The Case of Machine Scheduling
A Modular Approach to Roberts' Theorem
Deterministic Refund Mechanisms
Nash Dynamics in Constant Player and Bounded Jump Congestion Games
A Truthful Mechanism for Interval Scheduling
Clearing Markets via Bundles
The Search for Equilibrium Concepts
Mind the Revenue Gap: On the Performance of Approximation Mechanisms Under Budget Constraints
Entrepreneurship Facility-Activation Games
The Distortion of Distributed Voting
Dynamic Resource Allocation Games
Hedging Under Uncertainty: Regret Minimization Meets Exponentially Fast Convergence
A New Lower Bound for Multicolor Discrepancy with Applications to Fair Division
Online Trading as a Secretary Problem
Race Scheduling Games
Brief Announcement: New Mechanisms for Pairwise Kidney Exchange
Stable Matching with Uncertain Linear Preferences
Incentive Compatible Mechanism for Influential Agent Selection
Recognizing Single-Peaked Preferences on an Arbitrary Graph: Complexity and Algorithms
Online Random Sampling for Budgeted Settings
The Price of Anarchy on Uniformly Related Machines Revisited
Opinion Formation Games with Aggregation and Negative Influence
Online Budget-Feasible Mechanism Design with Predictions
Playing Repeated Games with Sublinear Randomness
Efficiency of Truthful and Symmetric Mechanisms in One-Sided Matching
Mechanism Design for Constrained Heterogeneous Facility Location
The Price of Stability of Simple Symmetric Fractional Hedonic Games
Balancing Participation and Decentralization in Proof-of-Stake Cryptocurrencies
Path Deviations Outperform Approximate Stability in Heterogeneous Congestion Games
Parameterized Complexity of Gerrymandering
Prompt Mechanism for Ad Placement over Time
Minimizing Expectation Plus Variance
The Contest Game for Crowdsourcing Reviews
Congestion Games with Linearly Independent Paths: Convergence Time and Price of Anarchy
Complexity of Public Goods Games on Graphs
The Local and Global Price of Anarchy of Graphical Games
Sequential Pivotal Mechanisms for Public Project Problems
When the Players Are Not Expectation Maximizers
The Power of Mediation in an Extended El Farol Game
On the Complexity of Pareto-optimal Nash and Strong Equilibria
Selfish Network Creation with Non-uniform Edge Cost
Impartial Selection with Additive Approximation Guarantees
Explicitly Simple Near-Tie Auctions
On Communication Protocols That Compute Almost Privately
The Complexity of Decision Problems about Nash Equilibria in Win-Lose Games
Approximate Strong Equilibrium in Job Scheduling Games
Algorithmic Game Theory - 5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012. Proceedings
How Many Freemasons Are There? The Consensus Voting Mechanism in Metric Spaces
Seniorities and Minimal Clearing in Financial Network Games
Braess's Paradox for Flows over Time
On the Computational Complexity of Decision Problems About Multi-player Nash Equilibria
Discrete Single-Parameter Optimal Auction Design
Computational Aspects of Equilibria
Towards an Extensible Virtual GEOINT Center
11th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems (2010), Valenciennes, France, August 31 - September 03, 2010
Augmenting Situational Awareness for First Responders Using Social Media As a Sensor
Emotion Detection in HCI: From Speech Features to Emotion Space
Cognitive process modelling of team cooperative work in en route air traffic control
A study on tracking error estimation for augmented reality
Shared and cooperative movement control of intelligent technical systems: Sketch of the design space of haptic-multimodal coupling between operator, co-automation, base system and environment
Simplifying the development of cognitive models using pattern-based modeling
Toward an on-line and non-obtrusive workload assessment method
A review of biodynamic feedthrough mitigation techniques
Methodological approach and road safety system evaluation
Assessment of visual cues by tower controllers, with implications for a remote tower control centre
Choice, sorting and ranking in aerial conflict management
The development of a qualitative analysis method to supplement the analysis of operator's human errors in MCR of NPPS
Attention Allocation for Multi-Modal Perception of Human-Friendly Robot Partners
Optimising content clarity for human-machine systems
How to evaluate effectiveness in monitoring and detection tasks in nuclear power plants?
The communication skills for supporting teamwork training in the flow chart type procedure
Study of multidimensional signals from human control behavior experiments. principle and example with multiple correspondence analysis
Barrier at work
Toward a Distributed Case-Based Reasoning for Human-Machine State Diagnosis: Application to Railway Driver State Analysis
Towards a real time workload of the driver: The analysis of driving performance evolution under overloaded conditions
Using eye tracking to evaluate usability of user interfaces: Is it warranted?
A cybernetic approach to assess flight simulator motion fidelity
Resilience engineering by the management of affordances - Application to intelligent transport systems
Functional modeling and constraint management in command and control: Two microworld studies
Virtual Systems to Train and Assist Control Applications in Future Factories
Fuzzy reasoning based interactive diagnosis of a grid network of rain gauge sensors
Toward a Reverse Comic Strip Based Approach to Analyse Human Knowledge
A Multiple Correspondence Analysis and Fuzzy Set Based Approach for the Analysis of Pathology Drivers from Healthy Drivers. a Case Study with the Steering Wheel Control
Platform Constraints Supporting an Ambiguous Mapping Model
A study on analysis of dynamic characteristics for ultrasonic transport system
An iterative learning system to learn from human errors in transport systems
Human factors in studies of the safety and reliability of agro-equipment
GERICO: A human centred eco-driving system
Smart collaborations between humans and machines based on mutual understanding
Fuzzy oriented graphical user interface for content-based image retrieval system
Haptic simulation of a gear selector lever using artificial potential fields
Revolutionizing the way people work with medical technology
Misalignment Effect Function for Oblique Rotation of a Teleoperations Viewpoint: Counter-Intuitive Predictions and Implications for the Basis of Fitts' Law
Using cognitive modeling for the evaluation of human-machine interaction
Manufacturing human machine interface design using plant models
Advanced logic for alarm and event processing: Methods to reduce cognitive load for control room operators
Scaling up ecological interface design: Tackling large work domains with international project teams
Work domain analysis and ecological interface for the vehicle routing problem
Lane-change behavior modeling of long-haul truck driver using driving database
A goal-function approach to analysis of control situations
A scientific approach towards the localization of products and systems in practice - Exemplified for the Korean market
Modeling robot movement in a virtual environment
An Event Procedure Management to Support Decision-Makers in Prospective and Real-Time Project Management
A Human Cognitive Performance Measure Based on Available Options for Adaptive Aiding
Conceptual validation of advanced pilot guidance-systems - A field test report
Mobile Interaction Technologies in the Factory of the Future
Rail Human Factors: Human-Centred Design for Railway Systems
A Model-Based Framework for an Adaptive User Interface in Supervisory Control
A review of cognitive systems engineering in aviation
Driver's head pose classification using a single video camera
Predicting human reliability under workload and skill performance
Dealing with the Unexpected in Our Complex Socio-Technical World
Suggestion of an education method with an affective interface for promoting employees' work motivation in a routine work
Synthetic target systems in control education: Lessons teachers are learning from students
25 years of human-machine systems in IFAC
12th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems, IFAC HMS 2013, Las Vegas, Nevada, USA, August 11-15, 2013
Adaptive automation as an ultimate means for assuring safety
Comparing TACOM scores with two sets of operator response time data collected under a highly institutionalized task environment
Managing scripts for interactive service robots by using action-relation rules
Evaluation of UML in process automation - Results of an experimental approach
Foundations of a model driven engineering approach for human-computer interface focused on content personalization
Accident based requirements analysis for advanced driver assistance systems
Advanced remote tower project validation results
Human-robot interactive task managing for fetch-and-carry errands based on abstract scripts
A semiotic characterization of the process of teaching and learning a skilled motion taking wok handling as an example
A Real-Time Functional Magnetic Resonance Imaging (fMRI) Neurofeedback System
Using HCI patterns within the model-based development of run-time adaptive user interfaces
Know Your Options - Interfacing Consequences and Forecasted Performance Analysis: A Concept for the Novel Type of Information System KYO-ICPA
Validation of a Unified Model of Driver Behaviour for Train Domain
Task Allocation in Production Systems - Measuring and Analysing Levels of Automation
A User-Oriented Test Environment Based on User-Interface Evaluation Graphical Controls
Could the Use of ICT Tools Be the Way to Increase Competitiveness in Swedish Industry?
Towards a human-robot collaborative control for adjustable autonomy
Design and Evaluation of an Exploration Assistant for Human Deep Space Risk Mitigation
Potential and challenges of stereo augmented reality for mobile robot teleoperation
Toward a Cooperative Action-Driven Decision Model of an Airport Security Process
Challenges for the communication environment and communication concept for remote airport traffic control centres
Forward-Looking: Measuring Attention Allocation for Evaluating Supervisory Control in a Complex and Dynamic Lab System
Proposition of a human performance analysis agent
Evaluating the influence of distractions to drivers based on reflex eye movement model
Interacting with gestures and facial expressions - Implementation and applications
Design and evaluation of a teleoperation interface for heterogeneous human-robot teams
Human Stability: Toward Multi-Level Control of Human Behaviour
Comparing Image Guidance Systems to Improve Complex Navigation in Medicine
Developing Advanced GPS Navigational System Designs: Sufficient Simulations
When stick-slip hinders human positioning performance
An Empirical Investigation of the Development of Driver's Mental Model of a Lane Departure Warning System While Driving
Air traffic controller decision-making support using the solution space diagram
Semiotic design of human-machine and human-environment systems
Parallel factor analysis of driver's EEG in lane change maneuver for cooperative driver assistance systems
Human-centred design approach applied to medical dynamic DSS
Drawing Assist System Considering Nonperiodic Involuntary Movements
A multi-objective simulated annealing for the multi-criteria dial a ride problem
Skill transfer from human to robot by direct teaching and task sharing - A case study with origami folding task
Design review supporting system for HMS with advanced information displays
iFace: A facial expression training system
Efficiency of safety barriers facing human errors
Remote control of a real robot taking into account transmission delays
The Usability Engineering Repository UsER for the Development of Task and Event-Based Human-Machine-Interfaces
Towards Seamless Mobility: Individual Mobility Profiles to Ease the Use of Shared Vehicles
A core task analysis based work support and training tool for control engineers
A Virtual World Application to Assess and Aid Human Machine Collaboration
Mobile robot teleoperation augmented with prediction and path-planning
On Man-Machine Interaction with Qualitative Data
Assessing operational validity of remote tower control in high-fidelity tower simulation
Assessing displays for temporal control quality in hydropower systems
Human-like conception of a remote control robotic system
Visualization of Control Structure in Human-Automation System Based on Cognitive Work Analysis
Communication Technologies for the Improvement of Marine Transportation Operations
Extraction of similarities and differences in human behavior using singular value decomposition
A Dissonance Management Model for Risk Analysis
Monitoring of the Human Motor Functions Rehabilitation by Neural Networks Based System with Kinect Sensor
The Standardized Generation and the Robust Filtering of the Command As Tools of Optimization of the Mental Workload of the Systems Engineer
Effective instruction method on self-awareness of risks for elderly drivers
Alternative Action Plan Generator (A2PG) for Elaboration an Anticipated Feedback
Toward the "human stability" in transportation systems: Concept and objectives
Community-Based Co-Design for Informal Care: Bridging the Gap between Technology and Context
Toward automatic generation of user interfaces: Abstraction of internal states and transitions
Towards a Collaborative Smartphone Sensing Platform
Can visualisation improve remote collaboration?
The VERITAS Facility: A Virtual Environment Platform for Human Performance Research
Tourist navigation system with no route map around the current position - Effect of intentionally hiding information
The Application of Cognitive Interface Design Methodology for a Digitalized Main Control Room in Nuclear Power Plant
Online Support for Shop-Floor Operators Using Body Movements Tracking
Spatial Orientation in Interventional Radiology
Tag chart: Discussion element classification software for science communication education
Simulating surface roughness in virtual environments by VIBRO-tactile feedback
Human reliability analysis for automatic train supervision
Consequence Reasoning in Multilevel Flow Modelling
Heuristic models applied to the assessment and redesign of human machine interfaces embedded in light rail vehicles
From overcoming limitations to securing safety: Defining the new mission of human-machine systems
Benchmarking Medical Image Databases
Human complementary menu design for mobile phones
Improving Physical-Physiological Interaction Requirements for Maintenance Enabling Systems Specification
Analysis of Longitudinal Driving Behaviors During Car Following Situation by Driver's EEG Using PARAFAC
Precision and repeatability analysis of Optotrak Certus as a tool for gait analysis
Statistical models of the sensory-perception process for human-vehicle interactive models
Development of an ankle CPM trainer for prevent contracture using the pneumatic balloon actuator
Multimodal human-machine interface and user cognitive load measurement
Cognitive work analysis practicality and limitations in complex control systems: A case of alarm handling
Evaluation of a New Human-Machine Decision Support System for Group Scheduling
Model-based development of user interfaces a new paradigm in useware engineering
Vision-based gaze estimation method for stereoscopic display systems
Human design applied to operating light rail studies
SmartMote: A Model-Based Architecture for Context-Sensitive User Interfaces in Future Factories
Design and Implementation of an Integrated, Platform Independent 3D Visualization of Complex Process Data
The recognition of a safe-overtaking driving environment
Simultaneous estimation of role and response strategy in human-robot role-reversal imitation learning
How to learn from the resilience of human-machine systems?
Haptic gas pedal support during visually distracted car following
Improving Proactive Human Behavior in Supervision of Manufacturing Systems Using Chronicles
Autonomy control of human-machine systems
The TactoBook: A portable electronic tactile reading device for the blind
Development of an intelligent artificial arm
Age-related cognitive impairment and home technology design
Model Based Technology Integration in Engineering Education with Deep Dive Ethnographic Research
10th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems, Seoul, Korea, September 4-6, 2007
Early evaluation of driver fatigue monitoring systems in expert surveys
Development of standard communication protocol for emergency management of main control room operators in nuclear power plants
Process design for multidisciplinary patient care meetings: Considering the human factor
Using glyphs to facilitate transition from hierarchical selection to gesturing
Interoperable human performance modelling of distributed cognitive agents
Operator Behavior Modeling: Unexpected Situations Management
Intelligent task-oriented user interfaces in production environments
Evaluation of driver assistance systems: An approach based on the exploratory analysis of temporal data
A method for finding organization issues based on organization status evaluation
Augmented Reality for Human-Based Assembly: Using Product and Process Semantics
A Quantitative Evaluation Method for Plant Operation in Alarm Management Based on a Queuing Model
Optimizing virtual superimpositions: User-centered design for a UAR supported smart home system
A Common Work Space for a Mutual Enrichment of Human-Machine Cooperation and Team-Situation Awareness
Modeling Analyst Process of Transforming Data into Understanding
Visual features involving motion seen from airport control towers
Systemic assessment of the effect of mental stress and train on performance in a maritime ship-handling simulator
Low-level analysis as a basic process for content-based image retrieval (CBIR) system
Graphical representation of industrial alarm data
Toward a shared lateral control between driver and steering assist controller
Automobile vehicle ingress/egress movement strategies adopted by elderly and/or, hip or knee, prosthesis having persons
Peripersonal vs. extrapersonal realm and processing of visual information
Accurate localization for space rovers and its computational reduction
Touch-Enabled Input Devices for Controlling Virtual Environments
Modeling the inattention of a human driving a car
Modelling the hybridisation of human and artificial energy applied at an electrical bicycle
Is Walking Bad for Tablet Use or Is Tablet Use Bad for Walking? an Experimental Study on the Effect of Walking on Tablet Use
BCD model for human state identification
The emotional gap between the elderly and the non-elderly
Distant air traffic control for regional airports
Ergonomic 6D Interaction Technologies for a Flexible and Transportable Robot System: A Comparison
Towards learning processes in a resilient human-machine system
Evaluation and improvement of man-machine interaction in tank lorry loading - a case study
A proposal of personalized itinerary search methods in the field of transport
Driving Assist System: Shared Haptic Human System Interaction
Evaluation of performance for selective lower leg muscle activity during walking on computer controlled treadmill system
Effect of driver's head tilt strategy on motion sickness incidence
Evaluating the mariner's workload using the bridge simulator
The Warning Glove: Wearable Computing Technology for Maintenance Assistance in IPS 2